On Fri, 3 Aug 2012, Richard W.M. Jones wrote:
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.
Could you try spatch.opt -parse_cocci demos/simple.cocci or
spatch.opt -parse_c demos/simple.c?
thanks,
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
