blob: efeb6d0439d9aecf7b4c4a83fcca7f194a83678b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
echo
echo ------------------ Producing v8 files -------------------------
make clean
make OPT=-translate || { 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 OPT=-v8 || { echo ---- Failed to recompile; exit 1; }
echo
echo ------------------ Translation completed ----------------------
echo Old files are in directory v7
|
