From 3ef7797ef6fc605dfafb32523261fe1b023aeecb Mon Sep 17 00:00:00 2001
From: Samuel Mimram <smimram@debian.org>
Date: Fri, 28 Apr 2006 14:59:16 +0000
Subject: Imported Upstream version 8.0pl3+8.1alpha

---
 dev/ocamldebug-coq.template | 42 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 dev/ocamldebug-coq.template

(limited to 'dev/ocamldebug-coq.template')

diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template
new file mode 100644
index 00000000..30224216
--- /dev/null
+++ b/dev/ocamldebug-coq.template
@@ -0,0 +1,42 @@
+#!/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 \
+	-I $COQTOP/contrib/subtac \
+	$* $args;;
+    *) exec $OCAMLDEBUG $*;;
+esac
-- 
cgit v1.2.3