On Tue, Jul 31, 2012 at 01:20:56AM +0200, 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.
OK, that's pretty odd. Did demos/simple.cocci work? > 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?) The RPM build starts from the -rc14 tarball. The only patch that we apply is: http://pkgs.fedoraproject.org/gitweb/?a=tree;p=coccinelle.git which is (or was?) required to use an external sexplib. Which version of sexplib did you use? Did you patch it to work with OCaml 4, ie: http://pkgs.fedoraproject.org/gitweb/?a=tree;p=ocaml-sexplib.git Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming blog: http://rwmj.wordpress.com Fedora now supports 80 OCaml packages (the OPEN alternative to F#) http://cocan.org/getting_started_with_ocaml_on_red_hat_and_fedora _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
