diff options
author | Xavier Clerc <xavier.clerc@inria.fr> | 2014-03-31 11:48:35 +0000 |
---|---|---|
committer | Xavier Clerc <xavier.clerc@inria.fr> | 2014-03-31 11:48:35 +0000 |
commit | dd7bd5b339b2a93c365e5d15e7333737d39efc5d (patch) | |
tree | af9badcd74118ee3237435bae9fa7fbbe6cd95ac /debugger/symbols.mli | |
parent | 09900da7c050984a4a8829c309ce320030cca133 (diff) | |
download | ocaml-dd7bd5b339b2a93c365e5d15e7333737d39efc5d.tar.gz |
PR#6270: remove need for -I directives to ocamldebug in common case (patch by Josh Watzman)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14507 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/symbols.mli')
-rw-r--r-- | debugger/symbols.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debugger/symbols.mli b/debugger/symbols.mli index 980892e048..883b81aa3e 100644 --- a/debugger/symbols.mli +++ b/debugger/symbols.mli @@ -14,6 +14,10 @@ (* Modules used by the program. *) val modules : string list ref +(* Absolute directories containing source code on machine where source was + * compiled *) +val program_source_dirs : string list ref + (* Read debugging info from executable file *) val read_symbols : string -> unit |