blob: d10af67ea4eb3795d01f7d50766837ee112a5f07 (
plain)
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
33
34
35
|
#!/bin/sh
FLAGS=
OCAMLBUILD=ocamlbuild
check_config() {
[ -f config/coq_config.ml ] || (echo "please run ./configure first"; exit 1)
[ -L myocamlbuild_config.ml ] || ln -sf config/coq_config.ml myocamlbuild_config.ml
}
ocb()
{
check_config
$OCAMLBUILD $FLAGS $*
}
rule() {
case $1 in
win32) check_config
sed -i 's/let arch = .*$/let arch = "win32"/' config/coq_config.ml && \
$OCAMLBUILD coq-win32.otarget;;
clean) ocb -clean && rm -rf bin/* && rm -f myocamlbuild_config.ml;;
all) ocb coq.otarget;;
*) ocb $1;;
esac;
}
if [ $# -eq 0 ]; then
rule all
else
while [ $# -gt 0 ]; do
rule $1;
shift
done
fi
|
