diff options
| -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 \ + $* + + |