#!/bin/sh SMLBIN=/usr/local/sml/bin cd src if [ -f mlt.x86-linux ] ; then rm mlt.x86-linux fi if [ -d CM ] ; then rm -rf CM fi if [ -d lib/CM ] ; then rm -rf lib/CM fi if ! cat build.sml | $SMLBIN/sml ; then exit 1 fi if ! $SMLBIN/ml-build sources.cm Main.main mlt ; then exit 1 fi cd lib if ! cat build.sml | $SMLBIN/sml ; then exit 1 fi