On 23.05.2016 23:49, Luis R. Rodriguez wrote:
On Mon, May 23, 2016 at 11:44:10PM +0200, Julia Lawall wrote:
OK, thanks. It looks like the relese notes for Coccinelle will have to
discourage the use of 4.03...
FWIW I was on ocaml-4.02 though. I'm now upgrading my system.
There is now a pullrq to fix a bug in configure.ac, and also a new pkg
named ocaml-parmap to replace the built-in copy. With this coccinelle
compiles for me.
Olaf
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
