1
2
3OCAMLDEBUG(1) General Commands Manual OCAMLDEBUG(1)
4
5
6
8 ocamldebug - the Objective Caml source-level replay debugger.
9
11 ocamldebug [options] program [arguments]
12
14 ocamldebug is the Objective Caml source-level replay debugger.
15
16 Before the debugger can be used, the program must be compiled and
17 linked with the -g option: all .cmo and .cma files that are part of the
18 program should have been created with ocamlc -g, and they must be
19 linked together with ocamlc -g.
20
21 Compiling with -g entails no penalty on the running time of programs:
22 object files and bytecode executable files are bigger and take longer
23 to produce, but the executable files run at exactly the same speed as
24 if they had been compiled without -g.
25
26
28 A summary of options are included below. For a complete description,
29 see the html documentation in the ocaml-doc package.
30
31 -c count
32 Set the maximum number of simultaneously live checkpoints to
33 count.
34
35 -cd dir
36 Run the debugger program from the working directory dir, instead
37 of the current working directory. (See also the cd command.)
38
39 -emacs Tell the debugger it is executed under Emacs. (See The Objec‐
40 tive Caml user's manual for information on how to run the debug‐
41 ger under Emacs.)
42
43 -I directory
44 Add directory to the list of directories searched for source
45 files and compiled files. (See also the directory command.)
46
47 -s socket
48 Use socket for communicating with the debugged program. See the
49 description of the command set socket in The Objective Caml
50 user's manual for the format of socket.
51
52 -version
53 Print version and exit.
54
55 -help or --help
56 Display a short usage summary and exit.
57
59 ocamlc(1)
60 The Objective Caml user's manual, chapter "The debugger".
61
63 This manual page was written by Sven LUTHER <luther@debian.org>, for
64 the Debian GNU/Linux system (but may be used by others).
65
66
67
68 OCAMLDEBUG(1)