3
echo -------------- Producing translated files ---------------------
4
rm */*/*.v8 >& /dev/null
5
make COQ_XML=-translate theories || { echo ---- Failed to translate; exit 1; }
6
if [ -e translated ]; then rm -r translated; fi
7
if [ -e successful-translation ]; then rm -r successful-translation; fi
8
if [ -e failed-translation ]; then rm -r failed-translation; fi
11
echo -------------------- Upgrading files --------------------------
15
mkdir ../theories/`dirname $i` >& /dev/null
16
mv "$i"8 ../theories/$i
19
echo --------------- Recompiling translated files ------------------
20
make theories || { echo ---- Failed to recompile; mv theories failed-translation; mv translated theories; exit 1; }
21
echo ----------------- Recompilation successful --------------------
22
if [ -e successful-translation ]; then rm -r successful-translation; fi
23
mv theories successful-translation; mv translated theories