OQamlDebug

Demonstration Video

Features

Download

Sources

Version 0.9.2: http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.9.2.tar.gz
Version 0.9.1: http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.9.1.tar.gz
Version 0.9.0: http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.9.0.tar.gz
Version 0.0.0: http://oqamldebug.forge.ocamlcore.org/oqamldebug-0.0.0.tar.gz

Compiling

First install Qt 4.7 or above. then:
$ qmake
$ make

Usage

$ oqamldebug "ocamldebug arguments"
if no arguments are provided, OQamlDebug starts with the arguments of the previous session.

Using it with an IDE

OQamlDebug reloads automatically the ocaml sources as soon as they are modified. If the debugged application is modified, the debugger is automatically reinitialized. So it is not necessary to close OQamlDebug when editing a project.

Mouse

Source Window

In the source window, a click with the middle button displays the contains of a variable. The context menu permits to set a breakpoint to the selected location.

Debugger Window

In the debugger window, the wheel mouse can be use for debugging purpose:
Shift+Wheel:
performs a single step or a single backstep.
Control+Wheel:
performs a step over (next command) or a step over backwards (previous command).
Control+Shift+Wheel:
navigate through the call stack.

Limitation

Ctrl-C on Windows

Ctrl-C on Unix is implemented by sending a SIGINT to a process. This mechanism does not work on Windows. This explains why interrupting an application does not work on Windows.
For a support of this, ocamldebug has to be extended.