aboutsummaryrefslogtreecommitdiffhomepage
path: root/tools/translate-v8
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