Hi again Richard and all, Richard W.M. Jones (2015/10/27 11:57 +0000): > BTW the 'spgen' program is installed, but it's broken. It's built as > a bytecode program using 'ocamlc -custom', RPM strips it (removing the > bytecode), and consequently the binary won't function on Fedora. It > should have been built as a native program since I requested 'make > world'.
A new release of coccinelle fixing this issue will be published soon (hopefully tomorrow). Sébastien. _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
