[Cocci] 1.0.0-rc16: Further fine-tuning for the build system?
amiddelk at gmail.com
Tue Mar 5 09:36:54 CET 2013
There is something else than you can try, although I cannot guarantee
that it (still) works. If it does not work, then you should forget
In a fresh checkout(!), configure with an extra configuration
This will configure the project to use ocamlbuild to resolve
dependencies and invoke the ocaml tools. The makefiles are still used
to invoke ocamlbuild with the appropriate parameters.
Ocamlbuild puts build outputs in a separate directory, thus it is
doing an out-of-source build.
You can probably make it also output ocamldoc files of all the source
files, although that is speculation. Understanding of ocamlbuild would
be required in that case.
2013/3/4 SF Markus Elfring <elfring at users.sourceforge.net>:
>> Maybe you have python but not the developer libraries?
> The package "python-devel 2.7.3-3.6.1" is installed at the moment.
> I do not get the mentioned error message if I repeat the command from within the
> source directory.
> elfring at Sonne:~/Projekte/Coccinelle/lokal> make distclean && ./configure
> --enable-opt --enable-ocaml --enable-python --enable-release
More information about the Cocci