diff options
| author |  Paul Steckler <steck@stecksoft.com> | 2017-11-13 12:23:54 -0500 |
|---|---|---|
| committer | Paul Steckler <steck@stecksoft.com> | 2017-11-13 12:23:54 -0500 |
| commit | 1e34c34ec2a379b50389e54556fa10147ca5cf3c (patch) | |
| tree | bbd2f79d86568377f471506811b488db1379cc86 /dev/doc | |
| parent | 8d176db01baf9fb4a5e07decb9500ef4a8717e93 (diff) | |
Change OCAMLRUNPARAM warning to mention OCaml 4.06
Diffstat (limited to 'dev/doc')
| -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 ============================ |