The Coq mailing list

[Hugo Herbelin <Hugo.Herbelin AT inria.fr>]

Hi,

> I am trying to explore behaviour and fix a patch, so I am using debugger.
> I have read dev/doc/debugging.txt and as it says I use "ocamldebugger-coq"
> wrapper, but CLI version (not with emacs). Coq is configured with "-local
> -debug".

I don't know how to have the debugger running with CLI. If you
eventually find some, you might create a page on cocorico (e.g. in
section Miscellaneous at
http://coq.inria.fr/cocorico/CoqDevelopment/Public).

At least, the correct name of the wrapper is "ocamldebug-coq" in "dev'.

Also, be sure that all .ml files have been recompiled after you added
"-debug" to the configure script.

Best regards,

Hugo Herbelin