From de19db84e589c7cc1e21b2486c086adee8cb975a Mon Sep 17 00:00:00 2001
From: filliatr
Date: Wed, 8 Sep 1999 14:04:28 +0000
Subject: un wrapper autour de ocamldebug

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@61 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/ocamldebug-v7 | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100755 dev/ocamldebug-v7

(limited to 'dev')

diff --git a/dev/ocamldebug-v7 b/dev/ocamldebug-v7
new file mode 100755
index 0000000000..bad484c41c
--- /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 \
+	$*
+
+
-- 
cgit v1.2.3