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