[Cocci] make install broken

Michael Stefaniuc mstefani at mykolab.com
Tue Oct 3 14:26:51 CEST 2017


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


More information about the Cocci mailing list