diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/debugging.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/dev/doc/debugging.md b/dev/doc/debugging.md index b41206f3d..7e9373b29 100644 --- a/dev/doc/debugging.md +++ b/dev/doc/debugging.md @@ -54,6 +54,9 @@ Debugging from Caml debugger of each of error* functions or anomaly* functions in lib/util.ml - If "source db" fails, do a "make printers" and try again (it should build top_printers.cmo and the core cma files). + - If you have the OCAMLRUNPARAM environment variable set, Coq may hang on + startup when run from the debugger. If this happens, unset the variable, + re-start Emacs, and run the debugger again. Global gprof-based profiling ============================ |