[Cocci] 1.0.0-rc16: Further fine-tuning for the build system?

SF Markus Elfring elfring at users.sourceforge.net
Mon Mar 4 12:35:36 CET 2013


> I'm not completely sure what you are proposing.

Have you got any idea why I get a result like the following?

elfring at Sonne:~/Projekte/Coccinelle/Bau> ocamlfind query camlp4 && ocamlfind
query menhirLib
/usr/lib64/ocaml/camlp4
ocamlfind: Package `menhirLib' not found


Are there any configuration challenges to consider with the use of a locally
installed variant in comparison to the version for this library which you also
bundle with your software?

Regards,
Markus


More information about the Cocci mailing list