On 30/07/12 15:28, Richard W.M. Jones wrote:
COCCINELLE_HOME=. ./spatch.opt -sp_file demos/simple.cocci demos/simple.c
init_defs_builtins: ./standard.h
Fatal error: out of memory.
I'm not actually sure if this has to do with OCaml 4.00.0 or not, but
that's the most likely difference.
I just managed to build coccinelle (rc 14) with OCaml 4.00.0 and ran the
360 tests without problem. I'll investigate this situation a bit further
when I get results from other platforms than x86_64, but for now I thus
cannot reproduce this problem.
So, it may very well be that the problem that you mentioned lies
elsewhere...
(you mentioned out git release repository...did you start from a fresh
checkout?)
Anyway, thanks for your effort so far,
Arie
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
