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

SF Markus Elfring elfring at users.sourceforge.net
Mon Mar 4 17:05:40 CET 2013

>> https://github.com/coccinelle/coccinelle/issues/9
> 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 mailing list