Manual Reference Pages - OCAMLDEBUG (1)
ocamldebug - the OCaml source-level replay debugger.
[ options ] program [ arguments ]
ocamldebug is the OCaml source-level replay debugger.
Before the debugger can be used, the program must be compiled and
linked with the
-g option: all .cmo and .cma files that are part
of the program should have been created with
ocamlc -g, and they must be linked together with
-g entails no penalty on the running time of
programs: object files and bytecode executable files are bigger and
take longer to produce, but the executable files run at
exactly the same speed as if they had been compiled without
A summary of options are included below.
For a complete description, see the html documentation in the ocaml-doc
-c count ||
Set the maximum number of simultaneously live checkpoints to
-cd dir ||
Run the debugger program from the working directory
dir, instead of the current working directory. (See also the
Tell the debugger it is executed under Emacs. (See
The OCaml users manual for information on how to run the debugger under Emacs.)
-I directory |
directory to the list of directories searched for source files and
compiled files. (See also the
Print information in a format more suitable for machines instead of human
operators where applicable. For example, when describing a location in a
program, such as when printing a backtrace, print the program counter and
character offset in a file instead of the filename, line number, and character
offset in that line.
-s socket ||
socket for communicating with the debugged program. See the description
of the command
set socket in
The OCaml users manual for the format of
Print version string and exit.
Print short version number and exit.
-help or --help |
Display a short usage summary and exit.
The OCaml users manual, chapter "The debugger".
This manual page was written by Sven LUTHER <email@example.com>,
for the Debian GNU/Linux system (but may be used by others).
Visit the GSP FreeBSD Man Page Interface.
Output converted with manServer 1.07.