diff options
| author | herbelin | 2004-12-23 11:59:41 +0000 |
|---|---|---|
| committer | herbelin | 2004-12-23 11:59:41 +0000 |
| commit | a653f0599c850d7a21f7f70fc7bf30dae26a6a68 (patch) | |
| tree | 8db60665ade20335c4567ed166e83081285c9929 /dev/ocamldebug-v7.template | |
| parent | 941f07df56b8a75df7b2f161351ebcc364a5ac88 (diff) | |
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
Diffstat (limited to 'dev/ocamldebug-v7.template')
| -rw-r--r-- | dev/ocamldebug-v7.template | 41 |
1 files changed, 0 insertions, 41 deletions
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 |