Use gcc 4.3.0 if building on linmac
[dormin.git] / tbs
bloba286a8a42829529d6b821d1320fc51db923f787d
1 #!/bin/sh
3 #set -x
4 set -e
6 h=$(readlink -f $(dirname $0))
7 r=$(readlink -f $h/../..)
8 t=$r/tbs
9 d=MD5
11 export OCAMLRUNPARAM=b
13 if test $h = $PWD; then
14 mkdir -p build
15 cd build
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
25 cc="cc"
26 test $(hostname) = "linmac" && {
27 cc="$HOME/x/dev/gcc-4.3.0/bin/gcc";
30 targets="dormin"
31 ./b -O src:$h -r -O cc:$cc $* $targets