On Sun, 14 Jun 2020, Mike Galbraith wrote:
> On Sat, 2020-06-13 at 21:07 -0700, Randy Dunlap wrote:
> > Hi,
> >
> > OK, I've not used Coccinelle and now I am trying to use it.
>
> I've never used it either, or intend to really, but seeing that it
> lives on github and more importantly, it's raining outside....
>
> > It seems that I am having a few issues.
> > The primary one is when I run spatch (via 'make coccicheck' in
> > the kernel source tree), it tells me:
> >
> > Python error: No module named coccilib.elems
> >
> > I do see "elems.py" in /usr/local/lib64/coccinelle/python/coccilib.
> >
> > I am using coccinelle-master downloaded from github on
> > Friday June 12, 2020.
>
> 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? The MODE=blah seems to be more often
than not leading to a seg fault now. It seems that the library that
manages parallelism seg faults whenever the thread that it is running
incurs an error at the ocaml level.
julia
>
> No idea if 1.0.6 will work for you, but it did for me, and doesn't take
> long at all to build once you get the ocaml goop it wants installed.
>
> Hohum, now to whack all that, and find something else to do ;-)
>
> -Mike
> _______________________________________________
> Cocci mailing list
> [email protected]
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
