2007-02-07 01:40:59 -08:00
|
|
|
#!/bin/sh
|
2007-10-08 07:19:34 -07:00
|
|
|
# $Id$
|
2007-02-07 01:40:59 -08:00
|
|
|
set -e
|
|
|
|
cd `dirname $0`/..
|
|
|
|
|
|
|
|
TMPTARGETS="\
|
|
|
|
camlp4/boot/Lexer.ml"
|
|
|
|
|
|
|
|
TARGETS="\
|
2007-02-26 08:32:47 -08:00
|
|
|
camlp4/Camlp4/Struct/Camlp4Ast.ml \
|
2007-02-07 01:40:59 -08:00
|
|
|
camlp4/boot/Camlp4.ml \
|
|
|
|
camlp4/boot/camlp4boot.ml"
|
|
|
|
|
2007-02-26 08:32:47 -08:00
|
|
|
for target in $TARGETS camlp4/boot/Camlp4Ast.ml; do
|
|
|
|
[ -f "$target" ] && mv "$target" "$target.old"
|
|
|
|
rm -f "_build/$target"
|
|
|
|
done
|
|
|
|
|
2007-02-07 01:40:59 -08:00
|
|
|
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
|
2007-02-26 08:32:47 -08:00
|
|
|
cp _build/$t camlp4/boot/`basename $t`
|
2007-10-08 07:19:34 -07:00
|
|
|
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
|
2007-02-07 01:40:59 -08:00
|
|
|
done
|