diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-08-31 12:43:11 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-08-31 12:43:11 +0200 |
commit | ce2b0bb105e1e6652a66df2160bd86b3ffdc175d (patch) | |
tree | 7f04e90de2806ad2dcea92a9ada06b32c1befded /dev | |
parent | f0b9359069de1223b9ffc8fedc557b87f919b24a (diff) | |
parent | 75ca099bc54bd35c10e554996b8660f708642b14 (diff) |
Merge PR #999: For BZ#5688, mention hanging issue in ocamldebug and workaround
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 ============================ |