On Sun, 14 Jun 2020, Mike Galbraith wrote:
> On Sun, 2020-06-14 at 09:42 +0200, Julia Lawall wrote:
> >
> > On Sun, 14 Jun 2020, Mike Galbraith wrote:
> >
> >
> > > I didn't download, rather pulled/built. I didn't have the same issue
> > > you did, but make coccicheck was a bust here until I backed down to
> > > version 1.0.6. Neither HEAD, 1.0.8 or 1.0.7 ran, and following its
> > > MODE=blah suggestion helped not at all.
> >
> > Did you get a segmentation fault?
>
> Nope. Turned out to be a dinky install gotcha. Creating a symlink..
>
> lrwxrwxrwx 1 root root 27 Jun 14 09:40 /usr/local/coccinelle/lib ->
> /usr/local/coccinelle/lib64
>
> ..seems to have fixed 1.0.8 all up. The very first time I installed, I
> had to create one directory (forget which) by hand as well.
What is your Linux distribution?
julia
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
