[Cocci] 1.0.0-rc16: Further fine-tuning for the build system?
julia.lawall at lip6.fr
Sat Mar 2 22:18:33 CET 2013
On Sat, 2 Mar 2013, SF Markus Elfring wrote:
> I try to regenerate your current software from the Git repository on my openSUSE
> system. I stumble on the following issue.
> elfring at Sonne:~/Projekte/Coccinelle/Bau> ../lokal/configure --enable-opt
> --enable-ocaml --enable-python --enable-release
> configure: loading site script /usr/share/site/x86_64-unknown-linux-gnu
> configure: configuring coccinelle 1.0.0-rc15 in
> configure: configuring package menhirLib
> checking for OCaml findlib package menhirLib... not found
> configure: OCaml package menhirLib is not available
> checking for a bundled substitute of menhirLib... not available
> configure: error: OCaml package menhirLib is required. Please make sure it is
> This library is installed under the directory "/usr/local/share/menhir" and is
> found if I let the configuration script run while the source "lokal" is also the
> working directory.
> Would you like to adjust any configuration checks to support an
> "out-of-source-tree build"? (How do you think about to store generated files in
> a separate directory hierarchy here?)
I'm not completely sure what you are proposing. Perhaps you could just
make a patch that does what you want?
More information about the Cocci