diff options
| author | letouzey | 2007-10-08 01:28:38 +0000 |
|---|---|---|
| committer | letouzey | 2007-10-08 01:28:38 +0000 |
| commit | 7f3eebabdce21761e662df7a0f5652f32609b61f (patch) | |
| tree | 05465d650e6bf12c4f3aa089772bee09b7ab52ac /dev | |
| parent | 9a721e4d20927f0b97d4c5e346486122e2590f4d (diff) | |
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
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/ocamldebug-coq.template | 1 |
1 files changed, 1 insertions, 0 deletions
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 \ |