On 31/07/12 09:19, Richard W.M. Jones wrote:
OK, that's pretty odd. Did demos/simple.cocci work?
Yes, I tried that one as well, with both the bytecode and the native
version. I also checked that spatch was indeed compiled by ocaml 4.00...
The tests themselves I only ran with the native version.
I'll soon have the packages organized so that our buildsystem can build
it, which builds and tests the bytecode and native versions separately,
as well as with and without the bundled packages and on different
platforms. That might give more information.
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.
That patch should not be needed anymore. If it would still be needed,
then I'd like to know.
Which version of sexplib did you use? Did you patch it to work
with OCaml 4.
I used the most recent release of sexplib from their webpage, and used
in fact applied the patch that you mentioned in order to get it to
compile with Ocaml 4.
Arie
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
