3 SMLBIN
=/usr
/local
/sml
/bin
7 if [ -f mlt.x86-linux
] ; then
13 if [ -d lib
/CM
] ; then
19 if [ -d lib
/.cm
] ; then
23 if ! cat build.sml |
$SMLBIN/sml
; then
27 if ! $SMLBIN/ml-build sources.cm Main.main mlt
; then
33 if ! cat build.sml |
$SMLBIN/sml
; then