On Sat, Jul 24, 2010 at 10:43:06AM +0200, Julia Lawall wrote: > Is there any way that you can define the environment variable > OCAMLRUNPARAM to b and then use spatch rather than spatch.opt? Then you > will get a backtrace from ocaml that might give more information about > where is the problem.
Somehow I can't work out the correct combination of OCAMLCFLAGS=-g etc in order to get spatch to be linked with -g, so it just prints: (Program not linked with -g, cannot print stack backtrace) I think it's better if I set up a VM that has Python 2.7 so I can debug this properly later. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones virt-df lists disk usage of guests without needing to install any software inside the virtual machine. Supports Linux and Windows. http://et.redhat.com/~rjones/virt-df/ _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
