Thanks for the report. No one on our side is yet using OCaml 4.00.0, but we will try to look into it shortly.
julia On Mon, 30 Jul 2012, Richard W.M. Jones wrote: > > The program just crashes when you do anything non-trivial eg. --help > output is fine, but running the demo gives: > > 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. You can have a look at our build > output here: > > http://koji.fedoraproject.org/koji/packageinfo?packageID=7978 > > Also I've noticed that 'make install' no longer installs any *.so > files in $libdir, nor any Python files at all. Is this intentional? > > I'd also like to add for the record that it's very hard to keep > Coccinelle building without clear changelogs for every released > tarball and/or a source repository that doesn't have enormous mixed up > changes in every commit. > > Rich. > > -- > Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones > New in Fedora 11: Fedora Windows cross-compiler. Compile Windows > programs, test, and build Windows installers. Over 70 libraries supprt'd > http://fedoraproject.org/wiki/MinGW http://www.annexia.org/fedora_mingw > _______________________________________________ > Cocci mailing list > [email protected] > http://lists.diku.dk/mailman/listinfo/cocci > (Web access from inside DIKUs LAN only) > _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
