gdritter repos void-extra-packages / master srcpkgs / sml-nj / files / sml
master

Tree @master (Download .tar.gz)

sml @master

c2c7f59
 
 
 
 
1
2
3
4
5
#!/bin/sh

export SMLNJ_HOME=${SMLNJ_HOME:-/usr/lib/smlnj}

exec $SMLNJ_HOME/bin/sml $@