From a5f03d96eee482cd84861fc8cefff9eb451c0cad Mon Sep 17 00:00:00 2001 From: xleroy Date: Sun, 29 Mar 2009 09:47:11 +0000 Subject: Cleaned up configure script. Distribution of CIL as an expanded source tree with changes applied (instead of original .tar.gz + patches to be applied at config time). git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1020 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- cil/doc/cil015.html | 60 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 60 insertions(+) create mode 100644 cil/doc/cil015.html (limited to 'cil/doc/cil015.html') diff --git a/cil/doc/cil015.html b/cil/doc/cil015.html new file mode 100644 index 00000000..a3dff7d7 --- /dev/null +++ b/cil/doc/cil015.html @@ -0,0 +1,60 @@ + + + + + + + + + + + + + +Debugging support + + + +Previous +Up +Next +
+ +

15  Debugging support

+Most of the time we debug our code using the Errormsg module along with the +pretty printer. But if you want to use the Ocaml debugger here is an easy way +to do it. Say that you want to debug the invocation of cilly that arises out +of the following command: +
+cilly -c hello.c 
+
+ You must follow the installation instructions +to install the Elist support files for ocaml and to extend your .emacs +appropriately. Then from within Emacs you do +
+ALT-X my-camldebug
+
+ This will ask you for the command to use for running the Ocaml debugger +(initially the default will be “ocamldebug” or the last command you +introduced). You use the following command: +
+cilly --ocamldebug -c hello.c 
+
+ This will run cilly as usual and invoke the Ocaml debugger when the cilly +engine starts. The advantage of this way of invoking the debugger is that the +directory search paths are set automatically and the right set or arguments is +passed to the debugger.
+
+
+Previous +Up +Next + + -- cgit