Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

executable file 33 lines (26 sloc) 0.533 kB
#!/bin/sh
FLAGS="-j 2"
OCAMLBUILD=ocamlbuild
MYCFG=myocamlbuild_config.ml
export CAML_LD_LIBRARY_PATH=`pwd`/_build/kernel/byterun
check_config() {
if [ ! -f $MYCFG ]; then echo "please run ./configure first"; exit 1; fi
}
ocb() { $OCAMLBUILD $FLAGS $*; }
rule() {
check_config
case $1 in
clean) ocb -clean && rm -rf bin/*;;
all) ocb coq.otarget;;
win32) ocb coq-win32.otarget;;
*) ocb $1;;
esac;
}
if [ $# -eq 0 ]; then
rule all
else
while [ $# -gt 0 ]; do
rule $1;
shift
done
fi
Jump to Line
Something went wrong with that request. Please try again.