P.S.
> > warning: Can't find macro file:
> > /usr/local/coccinelle/bin/../lib/coccinelle/standard.h
> > warning: Can't find default iso file:
> > /usr/local/coccinelle/bin/../lib/coccinelle/standard.iso
The hard coded "lib" causing this issue lives in globals/config.ml.in.
diff --git
On Sun, 2020-06-14 at 14:59 +0200, Julia Lawall wrote:
>
> On Sun, 14 Jun 2020, Mike Galbraith wrote:
>
> > On Sun, 2020-06-14 at 10:43 +0200, Julia Lawall wrote:
> > >
> > > What is your Linux distribution?
> >
> > openSUSE Leap-15.1
>
>
On Sun, 2020-06-14 at 10:43 +0200, Julia Lawall wrote:
>
> What is your Linux distribution?
openSUSE Leap-15.1
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
On Sun, 2020-06-14 at 10:00 +0200, Mike Galbraith wrote:
> On Sun, 2020-06-14 at 09:57 +0200, Mike Galbraith wrote:
> > On Sun, 2020-06-14 at 09:42 +0200, Julia Lawall wrote:
> > >
> > > On Sun, 14 Jun 2020, Mike Galbraith wrote:
> > >
> > >
>
Aha, trying a fresh build/install of 1.0.7 reproduced Randy's problem..
/usr/local/bin/spatch -D report --no-show-diff --very-quiet --cocci-file
./scripts/coccinelle/api/alloc/alloc_cast.cocci --no-includes --include-headers
--dir . -I ./arch/x86/include -I ./arch/x86/include/generated -I
On Sun, 2020-06-14 at 09:57 +0200, 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
> >
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
> > versi
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