blob: ef9a93c01b802b6f980dccff244a4901b691b180 (
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
36
37
38
39
|
#!/bin/sh
# README: to bootstrap camlp4 have a look at build/camlp4-bootstrap-recipe.txt
set -e
cd `dirname $0`/..
. config/config.sh
export PATH=$BINDIR:$PATH
TMPTARGETS="\
camlp4/boot/Lexer.ml"
TARGETS="\
camlp4/Camlp4/Struct/Camlp4Ast.ml \
camlp4/boot/Camlp4.ml \
camlp4/boot/camlp4boot.ml"
for target in $TARGETS camlp4/boot/Camlp4Ast.ml; do
[ -f "$target" ] && mv "$target" "$target.old"
rm -f "_build/$target"
done
if [ -x ./boot/myocamlbuild.native ]; then
OCAMLBUILD=./boot/myocamlbuild.native
else
OCAMLBUILD="./boot/ocamlrun boot/myocamlbuild"
fi
$OCAMLBUILD $TMPTARGETS $TARGETS
for t in $TARGETS; do
echo promote $t
cp _build/$t camlp4/boot/`basename $t`
if cmp _build/$t camlp4/boot/`basename $t`.old; then
echo fixpoint for $t
else
echo $t is different, you should rebootstrap it by cleaning, building and call this script
fi
done
|
