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)
