diff options
author | Enrico Tassi <gareuselesinge@debian.org> | 2015-01-25 14:42:51 +0100 |
---|---|---|
committer | Enrico Tassi <gareuselesinge@debian.org> | 2015-01-25 14:42:51 +0100 |
commit | 7cfc4e5146be5666419451bdd516f1f3f264d24a (patch) | |
tree | e4197645da03dc3c7cc84e434cc31d0a0cca7056 /build | |
parent | 420f78b2caeaaddc6fe484565b2d0e49c66888e5 (diff) |
Imported Upstream version 8.5~beta1+dfsg
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;; |