#!/bin/sh SMLBIN=/usr/local/sml/bin PLATFORM=x86-linux cd src if [ -f mlt.$PLATFORM ] ; then rm mlt.$PLATFORM fi if [ -d CM ] ; then rm -rf CM fi if [ -d lib/CM ] ; then rm -rf lib/CM 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