From a653f0599c850d7a21f7f70fc7bf30dae26a6a68 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 23 Dec 2004 11:59:41 +0000
Subject: Renommage de ocamldebug-v7 en ocamldebug-coq (pour passage à la v8

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6493 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/ocamldebug-coq.template | 41 +++++++++++++++++++++++++++++++++++++++++
 dev/ocamldebug-v7           | 41 +++++++++++++++++++++++++++++++++++++++++
 dev/ocamldebug-v7.template  | 41 -----------------------------------------
 3 files changed, 82 insertions(+), 41 deletions(-)
 create mode 100644 dev/ocamldebug-coq.template
 create mode 100755 dev/ocamldebug-v7
 delete mode 100644 dev/ocamldebug-v7.template

(limited to 'dev')

diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template
new file mode 100644
index 0000000000..96c53192d1
--- /dev/null
+++ b/dev/ocamldebug-coq.template
@@ -0,0 +1,41 @@
+#!/bin/sh
+
+# wrap around ocamldebug for Coq
+
+export COQTOP=COQTOPDIRECTORY
+export COQLIB=COQLIBDIRECTORY
+export COQTH=$COQLIB/theories
+CAMLBIN=CAMLBINDIRECTORY
+OCAMLDEBUG=$CAMLBIN/ocamldebug
+export CAMLP4LIB=`$CAMLBIN/camlp4 -where`
+
+args=""
+coqdebug="no"
+for op in $*
+    do case `basename $op` in
+	coq-debug-programs.out) 
+	    coqdebug="yes"
+	    args="-is programs.coq";;
+	*coq*) coqdebug="yes";;
+       esac
+done
+
+case $coqdebug in
+    yes)
+	exec $OCAMLDEBUG \
+	-I $CAMLP4LIB \
+	-I $COQTOP/config \
+	-I $COQTOP/lib -I $COQTOP/kernel \
+	-I $COQTOP/library -I $COQTOP/pretyping -I $COQTOP/parsing \
+        -I $COQTOP/interp -I $COQTOP/proofs -I $COQTOP/tactics \
+	-I $COQTOP/toplevel -I $COQTOP/dev -I $COQTOP/config \
+	-I $COQTOP/translate \
+        -I $COQTOP/contrib/correctness \
+        -I $COQTOP/contrib/extraction -I $COQTOP/contrib/field \
+        -I $COQTOP/contrib/fourier    -I $COQTOP/contrib/graphs \
+        -I $COQTOP/contrib/interface  -I $COQTOP/contrib/jprover \
+        -I $COQTOP/contrib/omega      -I $COQTOP/contrib/romega \
+        -I $COQTOP/contrib/ring       -I $COQTOP/contrib/xml \
+	$* $args;;
+    *) exec $OCAMLDEBUG $*;;
+esac
diff --git a/dev/ocamldebug-v7 b/dev/ocamldebug-v7
new file mode 100755
index 0000000000..b3bc324f82
--- /dev/null
+++ b/dev/ocamldebug-v7
@@ -0,0 +1,41 @@
+#!/bin/sh
+
+# wrap around ocamldebug for Coq
+
+export COQTOP=/home/herbelin/coq/V7trad
+export COQLIB=/home/herbelin/coq/V7trad
+export COQTH=$COQLIB/theories
+CAMLBIN=/usr/local/bin
+OCAMLDEBUG=$CAMLBIN/ocamldebug
+export CAMLP4LIB=`$CAMLBIN/camlp4 -where`
+
+args=""
+coqdebug="no"
+for op in $*
+    do case `basename $op` in
+	coq-debug-programs.out) 
+	    coqdebug="yes"
+	    args="-is programs.coq";;
+	*coq*) coqdebug="yes";;
+       esac
+done
+
+case $coqdebug in
+    yes)
+	exec $OCAMLDEBUG \
+	-I $CAMLP4LIB \
+	-I $COQTOP/config \
+	-I $COQTOP/lib -I $COQTOP/kernel \
+	-I $COQTOP/library -I $COQTOP/pretyping -I $COQTOP/parsing \
+        -I $COQTOP/interp -I $COQTOP/proofs -I $COQTOP/tactics \
+	-I $COQTOP/toplevel -I $COQTOP/dev -I $COQTOP/config \
+	-I $COQTOP/translate \
+        -I $COQTOP/contrib/correctness \
+        -I $COQTOP/contrib/extraction -I $COQTOP/contrib/field \
+        -I $COQTOP/contrib/fourier    -I $COQTOP/contrib/graphs \
+        -I $COQTOP/contrib/interface  -I $COQTOP/contrib/jprover \
+        -I $COQTOP/contrib/omega      -I $COQTOP/contrib/romega \
+        -I $COQTOP/contrib/ring       -I $COQTOP/contrib/xml \
+	$* $args;;
+    *) exec $OCAMLDEBUG $*;;
+esac
diff --git a/dev/ocamldebug-v7.template b/dev/ocamldebug-v7.template
deleted file mode 100644
index 96c53192d1..0000000000
--- a/dev/ocamldebug-v7.template
+++ /dev/null
@@ -1,41 +0,0 @@
-#!/bin/sh
-
-# wrap around ocamldebug for Coq
-
-export COQTOP=COQTOPDIRECTORY
-export COQLIB=COQLIBDIRECTORY
-export COQTH=$COQLIB/theories
-CAMLBIN=CAMLBINDIRECTORY
-OCAMLDEBUG=$CAMLBIN/ocamldebug
-export CAMLP4LIB=`$CAMLBIN/camlp4 -where`
-
-args=""
-coqdebug="no"
-for op in $*
-    do case `basename $op` in
-	coq-debug-programs.out) 
-	    coqdebug="yes"
-	    args="-is programs.coq";;
-	*coq*) coqdebug="yes";;
-       esac
-done
-
-case $coqdebug in
-    yes)
-	exec $OCAMLDEBUG \
-	-I $CAMLP4LIB \
-	-I $COQTOP/config \
-	-I $COQTOP/lib -I $COQTOP/kernel \
-	-I $COQTOP/library -I $COQTOP/pretyping -I $COQTOP/parsing \
-        -I $COQTOP/interp -I $COQTOP/proofs -I $COQTOP/tactics \
-	-I $COQTOP/toplevel -I $COQTOP/dev -I $COQTOP/config \
-	-I $COQTOP/translate \
-        -I $COQTOP/contrib/correctness \
-        -I $COQTOP/contrib/extraction -I $COQTOP/contrib/field \
-        -I $COQTOP/contrib/fourier    -I $COQTOP/contrib/graphs \
-        -I $COQTOP/contrib/interface  -I $COQTOP/contrib/jprover \
-        -I $COQTOP/contrib/omega      -I $COQTOP/contrib/romega \
-        -I $COQTOP/contrib/ring       -I $COQTOP/contrib/xml \
-	$* $args;;
-    *) exec $OCAMLDEBUG $*;;
-esac
-- 
cgit v1.2.3