blob: d394582573f842f055ad07d37e980eefd50a8650 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
echo
echo ------------------ Producing v8 files -------------------------
make clean
make COQFLAGS='-translate -q $(OPT) $(COQLIBS) $(COQ_XML)' || \
{ echo ---- Failed to translate; exit 1; }
$COQBIN/../tools/upgrade-v8 || { echo ---- Failed to upgrade files; exit 1; }
echo
echo ------------------ Recompiling v8 files -----------------------
make clean
make || { echo ---- Failed to recompile; exit 1; }
echo
echo ------------------ Translation completed ----------------------
echo Old files are in directory v7
|
