On Tue, 31 Jul 2012, Arie Middelkoop wrote:
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?)
We used to have the problem that the SmPL parser was so large that the
native code version would be corrupted. I think it would not even link
properly. Perhaps that problem has reappeared. Does the non .opt version
work OK?
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
