Imported Upstream version 8.0pl3+8.1alphaupstream/8.0pl3+8.1alpha

1 files changed, 0 insertions, 41 deletions

diff --git a/dev/ocamldebug-v7.template b/dev/ocamldebug-v7.template
deleted file mode 100644
index 1dd625c8..00000000
--- 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