On Fri, Aug 03, 2012 at 09:59:21AM +0200, Julia Lawall wrote: > Could you try with the following patch? Be sure that menhir runs. > parsing_cocci/parser_cocci_menhir.ml should go down to 37212 lines.
Original number of lines: 49670 parsing_cocci/parser_cocci_menhir.ml After rerunning make, menhir 20120123: 37080 parsing_cocci/parser_cocci_menhir.ml Unfortunately that doesn't seem to help: $ COCCINELLE_HOME=. ./spatch.opt -sp_file demos/simple.cocci demos/simple.c init_defs_builtins: ./standard.h Fatal error: out of memory. Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones libguestfs lets you edit virtual machines. Supports shell scripting, bindings from many languages. http://libguestfs.org _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
