tbs

   1 #!/bin/sh
   2
   3 #set -x
   4 set -e
   5
   6 h=$(readlink -f $(dirname $0))
   7 r=$(readlink -f $h/../..)
   8 t=$r/tbs
   9 d=MD5
  10
  11 export OCAMLRUNPARAM=b
  12
  13 if test $h = $PWD; then
  14     mkdir -p build
  15     cd build
  16 fi
  17
  18 if ! md5sum --status -c $d; then
  19     md5sum $h/build.ml $h/tbs $t/tbs.cma >$d.tmp
  20     ocamlc.opt -o build.cmo -c -g -I $t $h/build.ml
  21     ocamlc.opt -g -thread -I $t unix.cma threads.cma tbs.cma build.cmo -o b
  22     mv $d.tmp $d
  23 fi
  24
  25 gcc="gcc"
  26 test $(hostname) = "linmac" && {
  27     gcc="$HOME/x/dev/gcc-4.2.1/bin/gcc";
  28 }
  29
  30 targets="dormin"
  31 ./b -O src:$h -r -O gcc:$gcc $* $targets