Codebase list coq / debian/8.5_beta3+dfsg-1 build
debian/8.5_beta3+dfsg-1

Tree @debian/8.5_beta3+dfsg-1 (Download .tar.gz)

build @debian/8.5_beta3+dfsg-1 — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
#!/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