[Cocci] make install broken

Julia Lawall julia.lawall at lip6.fr
Fri Oct 6 21:06:18 CEST 2017



On Fri, 6 Oct 2017, Michael Stefaniuc wrote:

> On 10/06/2017 04:04 PM, Julia Lawall wrote:
> > The makefile issues are perhaps now resolved.
> Looks better as the missing stuff is installed.
> But it isn't working when I have a symlink to spatch.
>
> My workflow:
>
> VERSION=`git describe`
> ./configure --prefix=/usr/local/packages/coccinelle-$VERSION
> make
> make install
> cd /usr/local/bin
> ln -sf ../packages/coccinelle-$VERSION/bin/* .
>
> spatch foo.cocci foo.c
> warning: Can't find macro file: ./../lib/coccinelle/standard.h
> init_defs: ./macros
> warning: Can't find default iso file: ./../lib/coccinelle/standard.iso
> Python error: No module named 'coccilib'
>
> Using an absolute symbolic link doesn't works either.
> Using an absolute PATH to spatch makes it work:
> /usr/local/packages/coccinelle-1.0.6-328-g3ba77b3/bin/spatch foo.cocci foo.c
>
> coccinelle-1.0.6-179-g058cb06 is the last version that I have compiled
> and works with the symlinks.
>
> No clue is there is something similar in OCaml but under perl there is
> the handy FindBin module (FindBin::RealBin) to find the real location of
> the binary.

Thanks for the feedback.  We will try to resolve it as soon as possible.

julia

>
> bye
> 	michael
>
> >
> > 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