[Cocci] make install broken

Julia Lawall julia.lawall at lip6.fr
Tue Oct 3 15:09:05 CEST 2017



On Tue, 3 Oct 2017, Michael Stefaniuc wrote:

> Hello,
>
> while my Makefile patch lets make install finish a lot of stuff is missing:
> spatch foo.cocci foo.c
> warning: Can't find macro file: ./../lib/coccinelle/standard.h
> warning: Can't find default iso file: ./../lib/coccinelle/standard.iso
> Python error: No module named 'coccilib'
>
> Only this stuff gets installed:
> find /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spatch
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spgen
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle/dllpyml_stubs.so
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d/spatch

Thanks for the various feedback.  Thierry should be able to take care of
it tomorrow.

julia


More information about the Cocci mailing list