Comment on Programming in Standard ML (2011) [pdf]parentComments−fweimer3yYou should be aware of this:$ file /usr/lib/smlnj/bin/.run/run.x86-linux /usr/lib/smlnj/bin/.run/run.x86-linux: ELF 32-bit LSB pie executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, BuildID[sha1]=b5e686ed7f390da7dfe58f0227cec46fd0e4fb95, for GNU/Linux 3.2.0, strippedDebian hasn't packaged the 64-bit port of smlnj yet (in 110.94 and later). Both polyml and mlton have amd64 support, though.
Comments
You should be aware of this:
$ file /usr/lib/smlnj/bin/.run/run.x86-linux /usr/lib/smlnj/bin/.run/run.x86-linux: ELF 32-bit LSB pie executable, Intel 80386, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux.so.2, BuildID[sha1]=b5e686ed7f390da7dfe58f0227cec46fd0e4fb95, for GNU/Linux 3.2.0, stripped
Debian hasn't packaged the 64-bit port of smlnj yet (in 110.94 and later). Both polyml and mlton have amd64 support, though.