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.
-Mike
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
