From c17e6f15917cafdd19c77f60ed098b9c5ee106a5 Mon Sep 17 00:00:00 2001
From: mohring
Date: Wed, 29 Nov 2000 15:29:24 +0000
Subject: -I config

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1029 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 dev/ocamldebug-v7.template | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/ocamldebug-v7.template b/dev/ocamldebug-v7.template
index 362f63b9e8..232e433bfe 100644
--- a/dev/ocamldebug-v7.template
+++ b/dev/ocamldebug-v7.template
@@ -24,6 +24,7 @@ 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 \
-- 
cgit v1.2.3