Package Details: twelf 1.7.1-4

Git Clone URL: https://aur.archlinux.org/twelf.git (read-only, click to copy)
Package Base: twelf
Description: An implementation of the logical framework LF
Upstream URL: http://twelf.org/
Licenses: BSD
Conflicts: twelf-git
Provides: twelf
Submitter: soimort
Maintainer: soimort
Last Packager: soimort
Votes: 1
Popularity: 0.000000
First Submitted: 2016-03-13 05:20 (UTC)
Last Updated: 2021-05-07 15:34 (UTC)

Latest Comments

soimort commented on 2021-05-07 15:38 (UTC)

Thanks. Just added subversion and inetutils to the dependencies.

The default executable of SML/NJ seems to have been changed from sml to smlnj, so this unfortunately has to be patched.

c3n21 commented on 2021-05-01 14:07 (UTC)

I've had compile-time errors using this package. After tooling around I've eventually came up with a fix for this. Below there is my patch

https://pastebin.com/cmB0HE5s

sgorblex commented on 2021-04-25 18:16 (UTC) (edited on 2021-04-25 18:16 (UTC) by sgorblex)

The PKGBUILD didn't work out of the box for me today. I needed:

  • subversion

  • a hostname command (i just created a oneliner shell script with cat /etc/hostname)

  • a sml command (i just created a oneliner shell script which redirected to smlnj with smlnj $@)

These workarounds seem to work but they shouldn't be necessary.

soimort commented on 2021-01-23 20:19 (UTC)

@mb64 smlnj seems to support 64-bit platforms since version 110.94, and the heap file name has changed since then. Thanks for the reminder.

mb64 commented on 2021-01-18 00:40 (UTC)

This package is incorrect for 64-bit linux -- the name of the SMLNJ heap file should be twelf-server.amd64-linux instead of twelf-server.x86-linux.