build

   1 #!/bin/sh
   2
   3 SMLBIN=/usr/local/sml/bin
   4 PLATFORM=x86-linux
   5
   6 cd src
   7
   8 if [ -f mlt.$PLATFORM ] ; then
   9     rm mlt.$PLATFORM
  10 fi
  11 if [ -d CM ] ; then
  12     rm -rf CM
  13 fi
  14 if [ -d lib/CM ] ; then
  15     rm -rf lib/CM
  16 fi
  17 if [ -d .cm ] ; then
  18     rm -rf .cm
  19 fi
  20 if [ -d lib/.cm ] ; then
  21     rm -rf lib/.cm
  22 fi
  23
  24 if ! cat build.sml | $SMLBIN/sml ; then
  25     exit 1
  26 fi
  27
  28 if ! $SMLBIN/ml-build sources.cm Main.main mlt ; then
  29     exit 1
  30 fi
  31
  32 cd lib
  33
  34 if ! cat build.sml | $SMLBIN/sml ; then
  35     exit 1
  36 fi