On Sat, 24 Jul 2010, Richard W.M. Jones wrote: > 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.
Hmmmm... now I see the problem too. julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
