#!/bin/sh # wrap around ocamldebug for Coq export COQTOP=COQTOPDIRECTORY export COQLIB=COQLIBDIRECTORY export COQTH=$COQLIB/theories export CAMLP4LIB=CAMLP4LIBDIRECTORY CAMLBIN=CAMLBINDIRECTORY OCAMLDEBUG=$CAMLBIN/ocamldebug 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/proofs -I $COQTOP/tactics \ -I $COQTOP/toplevel -I $COQTOP/dev -I $COQTOP/config \ -I $COQTOP/contrib/omega -I $COQTOP/contrib/ring \ -I $COQTOP/contrib/extraction \ $* $args;; *) exec $OCAMLDEBUG $*;; esac