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

Julia Lawall julia.lawall at lip6.fr
Mon Mar 4 13:48:56 CET 2013

On Mon, 4 Mar 2013, SF Markus Elfring wrote:

> > 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?

I have one machine where it is not installed and one machine where it is
installed in the standard place.

I'm not sure to understand "try different build directory".  You mean you
want to put the executable in a place that is different than the source


More information about the Cocci mailing list