3 SMLBIN
=/usr
/local
/sml
/bin
8 if [ -f mlt.
$PLATFORM ] ; then
14 if [ -d lib
/CM
] ; then
20 if [ -d lib
/.cm
] ; then
24 if ! cat build.sml |
$SMLBIN/sml
; then
28 if ! $SMLBIN/ml-build sources.cm Main.main mlt
; then
34 if ! cat build.sml |
$SMLBIN/sml
; then