[Cocci] make install broken

Julia Lawall julia.lawall at lip6.fr
Fri Oct 6 16:04:28 CEST 2017


The makefile issues are perhaps now resolved.

julia

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
>
>
> bye
>          michael
> _______________________________________________
> Cocci mailing list
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>


More information about the Cocci mailing list