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

SF Markus Elfring elfring at users.sourceforge.net
Mon Mar 4 13:43:33 CET 2013

> I'm not sure to understand the relevance of the fact that we bundle the
> library.  The problem is that ocamlfind is not finding what you expect it
> to find.

Is the OCaml package "menhirLib" generally found in your configuration even if
you try out a different build directory?


More information about the Cocci mailing list