diff options
Diffstat (limited to 'build')
-rwxr-xr-x | build | 12 |
1 files changed, 4 insertions, 8 deletions
@@ -1,25 +1,21 @@ #!/bin/sh -FLAGS= +FLAGS="-j 2" OCAMLBUILD=ocamlbuild -CFG=config/coq_config.ml MYCFG=myocamlbuild_config.ml export CAML_LD_LIBRARY_PATH=`pwd`/_build/kernel/byterun check_config() { - [ -f $CFG ] || (echo "please run ./configure first"; exit 1) - [ -L $MYCFG ] || ln -sf $CFG $MYCFG + if [ ! -f $MYCFG ]; then echo "please run ./configure first"; exit 1; fi } -# NB: we exec ocamlbuild and run ocb last for a correct exit code - -ocb() { exec $OCAMLBUILD $FLAGS $*; } +ocb() { $OCAMLBUILD $FLAGS $*; } rule() { check_config case $1 in - clean) rm -rf bin/* $MYCFG && ocb -clean;; + clean) ocb -clean && rm -rf bin/*;; all) ocb coq.otarget;; win32) ocb coq-win32.otarget;; *) ocb $1;; |