Outils de traduction

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4252 85f007b7-540e-0410-9357-904b9bb8a0f7

3 files changed, 45 insertions, 0 deletions

diff --git a/tools/restore-v7 b/tools/restore-v7
new file mode 100755
index 000000000..1115593ed
--- /dev/null
+++ b/tools/restore-v7
@@ -0,0 +1,9 @@
+#!/bin/sh
+
+echo Restoring v7 files from directory v7
+for i in v7/*.v v7/*/*.v v7/*/*/*.v v7/*/*/*/*.v v7/*/*/*/*/*.v v7/*/*/*/*/*/*.v; do
+  if expr $i : '.*\*\.v' > /dev/null ; then continue ; fi
+  j=`echo $i | sed -e "s@^v7/@@"`
+  echo Restoring $i from v7
+  cp -f $i $j
+done
diff --git a/tools/translate-v8 b/tools/translate-v8
new file mode 100755
index 000000000..efeb6d043
--- /dev/null
+++ b/tools/translate-v8
@@ -0,0 +1,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
+
+
diff --git a/tools/upgrade-v8 b/tools/upgrade-v8
new file mode 100755
index 000000000..513df2f22
--- /dev/null
+++ b/tools/upgrade-v8
@@ -0,0 +1,22 @@
+#!/bin/sh
+
+mv v7 v7.bak
+
+echo ---------------- Saving v7 files into directory v7 ------------------
+for i in *.v */*.v */*/*.v */*/*/*.v */*/*/*/*.v */*/*/*/*/*.v; do
+  if expr $i : '.*\*\.v' > /dev/null ; then continue ; fi
+  if expr $i : 'v7\.bak/.*\.v' > /dev/null ; then continue ; fi
+  if expr $i : 'v7/.*\.v' > /dev/null ; then continue ; fi
+  echo Saving $i into v7/$i
+  j=v7/$i
+  mkdir -p `dirname $j`
+  mv -u -f $i $j
+done
+
+echo ---------------- Upgrading files with v8 syntax ---------------------
+for i in *.v8 */*.v8 */*/*.v8 */*/*/*.v8 */*/*/*/*.v8 */*/*/*/*/*.v8; do
+  if expr $i : '.*\*\.v8' > /dev/null ; then continue ; fi
+  j=`dirname $i`/`basename $i .v8`.v
+  echo Upgrading $i
+  mv -u -f $i $j
+done