Hello, Julia Lawall (2015/10/26 22:12 +0100): > * The dependency on ocamlp4 is removed, except when support for python is > included.
Read camlp4 rather than ocamlp4. To be more precise, Coccinelle relies on a library called pycaml to support Python scripts. camlp4 is required only to compile this library. So if the library has been installed independently, e.g. through the distribution's packaging system (as can be done on Debian since pycaml is packaed), then camlp4 is not required. If the library has not been installed and Python scripting support is requested, then Coccinelle's build systemwill attempt to compile the bundled version of the camlp4 library, which will require camlp4. Sébastien. _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci