11 ms·

For those running Debian or Ubuntu and interested to try the Standard ML of New Jersey, $ sudo apt install smlnj $ sml Standard ML of New Jersey v110.79

by nequo 3y ago

For those running Debian or Ubuntu and interested to try the Standard ML of New Jersey, $ sudo apt install smlnj $ sml Standard ML of New Jersey v110.79 [built: Sat Oct 26 12:27:04 2019] - and you can hit the ground running.

fweimer 3y ago
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.