diff options
| author |  filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-09-08 14:04:28 +0000 |
|---|---|---|
| committer | filliatr <filliatr@85f007b7-540e-0410-9357-904b9bb8a0f7> | 1999-09-08 14:04:28 +0000 |
| commit | de19db84e589c7cc1e21b2486c086adee8cb975a (patch) | |
| tree | 2bf16583ec120342bb50a50ec81c1fb49dfa1eef | |
| parent | 688b7e663ca7b09770f2bd187258e8499d2bf097 (diff) | |
un wrapper autour de ocamldebug
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@61 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rwxr-xr-x | dev/ocamldebug-v7 | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/dev/ocamldebug-v7 b/dev/ocamldebug-v7 new file mode 100755 index 000000000..bad484c41 --- /dev/null +++ b/dev/ocamldebug-v7 @@ -0,0 +1,19 @@ +#!/bin/sh + +# wrap around ocamldebug for Coq + +export COQTOP=$constr/V7 +export CAMLP4LIB=`camlp4 -where` +CAMLBIN=`which ocamlc` +OCAMLDEBUG=`dirname $CAMLBIN`/ocamldebug + +exec $OCAMLDEBUG \ + -I $CAMLP4LIB \ + -I $COQTOP/lib \ + -I $COQTOP/dev \ + -I $COQTOP/kernel \ + -I $COQTOP/parsing \ + -I $COQTOP/toplevel \ + $* + + |