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