diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-11-15 09:15:52 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-11-15 09:15:52 +0100 |
| commit | a2b02cb9142984b912bf01cea09449d767326f19 (patch) | |
| tree | 04e24ea1da942f698e6d0df96b15fe364a76d5a9 | |
| parent | 6de27ad329867fb9d4c35e12ceb7f48901ef7585 (diff) | |
| parent | 1e34c34ec2a379b50389e54556fa10147ca5cf3c (diff) | |
Merge PR #6147: Change OCAMLRUNPARAM warning to mention OCaml 4.06
| -rw-r--r-- | dev/doc/debugging.md | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/dev/doc/debugging.md b/dev/doc/debugging.md index 7e9373b29..7d3d811cc 100644 --- a/dev/doc/debugging.md +++ b/dev/doc/debugging.md @@ -54,9 +54,10 @@ 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. + - If you build Coq with an OCaml version earlier than 4.06, and 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 ============================ |