diff options
Diffstat (limited to 'dev/ocamldebug-coq.run')
| -rw-r--r-- | dev/ocamldebug-coq.run | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/dev/ocamldebug-coq.run b/dev/ocamldebug-coq.run new file mode 100644 index 00000000..d4ab22ce --- /dev/null +++ b/dev/ocamldebug-coq.run @@ -0,0 +1,34 @@ +#!/bin/sh + +# Wrapper around ocamldebug for Coq + +# This file is to be launched via the generated script ocamldebug-coq, +# which will set the env variables $OCAMLDEBUG, $CAMLP4LIB, $COQTOP +# Anyway, just in case someone tries to use this script directly, +# here are some reasonable default values + +[ -z "$OCAMLDEBUG" ] && OCAMLDEBUG=ocamldebug +[ -z "$CAMLP4LIB" ] && CAMLP4LIB=+camlp5 +[ -z "$COQTOP" -a -d "$PWD/kernel" ] && COQTOP=$PWD +[ -z "$COQTOP" -a -d "$PWD/../kernel" ] && COQTOP=`dirname $PWD` + +exec $OCAMLDEBUG \ + -I $CAMLP4LIB \ + -I $COQTOP \ + -I $COQTOP/config -I $COQTOP/printing -I $COQTOP/grammar \ + -I $COQTOP/lib -I $COQTOP/intf -I $COQTOP/kernel \ + -I $COQTOP/library -I $COQTOP/pretyping -I $COQTOP/parsing \ + -I $COQTOP/interp -I $COQTOP/proofs -I $COQTOP/tactics -I $COQTOP/stm \ + -I $COQTOP/toplevel -I $COQTOP/dev -I $COQTOP/config \ + -I $COQTOP/plugins/cc -I $COQTOP/plugins/dp \ + -I $COQTOP/plugins/extraction -I $COQTOP/plugins/field \ + -I $COQTOP/plugins/firstorder -I $COQTOP/plugins/fourier \ + -I $COQTOP/plugins/funind -I $COQTOP/plugins/groebner \ + -I $COQTOP/plugins/interface -I $COQTOP/plugins/micromega \ + -I $COQTOP/plugins/omega -I $COQTOP/plugins/quote \ + -I $COQTOP/plugins/ring -I $COQTOP/plugins/romega \ + -I $COQTOP/plugins/rtauto -I $COQTOP/plugins/setoid_ring \ + -I $COQTOP/plugins/subtac -I $COQTOP/plugins/syntax \ + -I $COQTOP/plugins/xml \ + -I $COQTOP/ide \ + "$@" |