From 7f3eebabdce21761e662df7a0f5652f32609b61f Mon Sep 17 00:00:00 2001
From: letouzey
Date: Mon, 8 Oct 2007 01:28:38 +0000
Subject: add $COQTOP to the search path of ocamldebug

in a debug session with ocamldebug 3.10, it was looking for file 
like contrib/foo/bar.ml and not just bar.ml in directories like 
contrib/foo, hence failing to find such a file. A quick fix is to 
add $COQTOP itself to the search path. 



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

(limited to 'dev')

diff --git a/dev/ocamldebug-coq.template b/dev/ocamldebug-coq.template
index 2d1c62892e..f921fb8a6c 100644
--- a/dev/ocamldebug-coq.template
+++ b/dev/ocamldebug-coq.template
@@ -15,6 +15,7 @@ fi
 
 exec $OCAMLDEBUG \
 	-I $CAMLP4LIB \
+	-I $COQTOP \
 	-I $COQTOP/config \
 	-I $COQTOP/lib -I $COQTOP/kernel \
 	-I $COQTOP/library -I $COQTOP/pretyping -I $COQTOP/parsing \
-- 
cgit v1.2.3