Coccinelle fails

Coccinelle fails

[Ioannis Valasakis]

Any idea why if I try to run coccinelle in report mode it fails? E.g.:
make coccicheck MODE=report M=drivers/staging/speakup/

coccicheck failed
make: *** [Makefile:1650: coccicheck] Error 2

Thank you
ioannis

Re: [Outreachy kernel] Coccinelle fails

[Julia Lawall]

On Sun, 4 Nov 2018, Ioannis Valasakis wrote:

> Any idea why if I try to run coccinelle in report mode it fails? E.g.:
> make coccicheck MODE=report M=drivers/staging/speakup/
>
> coccicheck failed
> make: *** [Makefile:1650: coccicheck] Error 2

What version of Coccinelle do you have?  You can put DEBUG_FILE=cocci.err
on the command line, which should give some more information about the
problem.

julia

>
> Thank you
> ioannis
>
> --
> You received this message because you are subscribed to the Google Groups "outreachy-kernel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to outreachy-kernel+unsubscribe@googlegroups.com.
> To post to this group, send email to outreachy-kernel@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/outreachy-kernel/20181104200908.GA26807%40kvasir.local.
> For more options, visit https://groups.google.com/d/optout.
>

Re: [Outreachy kernel] Coccinelle fails

[Ioannis Valasakis]

On Sun, Nov 04, 2018 at 09:14:25PM +0100, Julia Lawall wrote:
> 
> 
> On Sun, 4 Nov 2018, Ioannis Valasakis wrote:
> 
> > Any idea why if I try to run coccinelle in report mode it fails? E.g.:
> > make coccicheck MODE=report M=drivers/staging/speakup/
> >
> > coccicheck failed
> > make: *** [Makefile:1650: coccicheck] Error 2
> 
> What version of Coccinelle do you have?  You can put DEBUG_FILE=cocci.err
> on the command line, which should give some more information about the
> problem.
coccinelle is in version (1.0.4.deb-3+b4). After running with the debug
file I am getting this "Fatal error: 
exception Sys_error("pool_zalloc-simple: No such file or directory")."

thanks
ioannis
> 
> julia
> 
> >
> > Thank you
> > ioannis
> >
> > --
> > You received this message because you are subscribed to the Google Groups "outreachy-kernel" group.
> > To unsubscribe from this group and stop receiving emails from it, send an email to outreachy-kernel+unsubscribe@googlegroups.com.
> > To post to this group, send email to outreachy-kernel@googlegroups.com.
> > To view this discussion on the web visit https://groups.google.com/d/msgid/outreachy-kernel/20181104200908.GA26807%40kvasir.local.
> > For more options, visit https://groups.google.com/d/optout.
> >

Re: [Outreachy kernel] Coccinelle fails

[Julia Lawall]

On Sun, 4 Nov 2018, Ioannis Valasakis wrote:

> On Sun, Nov 04, 2018 at 09:14:25PM +0100, Julia Lawall wrote:
> >
> >
> > On Sun, 4 Nov 2018, Ioannis Valasakis wrote:
> >
> > > Any idea why if I try to run coccinelle in report mode it fails? E.g.:
> > > make coccicheck MODE=report M=drivers/staging/speakup/
> > >
> > > coccicheck failed
> > > make: *** [Makefile:1650: coccicheck] Error 2
> >
> > What version of Coccinelle do you have?  You can put DEBUG_FILE=cocci.err
> > on the command line, which should give some more information about the
> > problem.
> coccinelle is in version (1.0.4.deb-3+b4). After running with the debug
> file I am getting this "Fatal error:
> exception Sys_error("pool_zalloc-simple: No such file or directory")."

OK, I don'treally understand the message, but it would be better to use a
more recent version.  You can get the most recent version from github:

https://github.com/coccinelle/coccinelle

julia

>
> thanks
> ioannis
> >
> > julia
> >
> > >
> > > Thank you
> > > ioannis
> > >
> > > --
> > > You received this message because you are subscribed to the Google Groups "outreachy-kernel" group.
> > > To unsubscribe from this group and stop receiving emails from it, send an email to outreachy-kernel+unsubscribe@googlegroups.com.
> > > To post to this group, send email to outreachy-kernel@googlegroups.com.
> > > To view this discussion on the web visit https://groups.google.com/d/msgid/outreachy-kernel/20181104200908.GA26807%40kvasir.local.
> > > For more options, visit https://groups.google.com/d/optout.
> > >
>
>

Re: [Outreachy kernel] Coccinelle fails

[Ioannis Valasakis]

On Sun, Nov 04, 2018 at 09:35:55PM +0100, Julia Lawall wrote:
> 
> 
> On Sun, 4 Nov 2018, Ioannis Valasakis wrote:
> 
> > On Sun, Nov 04, 2018 at 09:14:25PM +0100, Julia Lawall wrote:
> > >
> > >
> > > On Sun, 4 Nov 2018, Ioannis Valasakis wrote:
> > >
> > > > Any idea why if I try to run coccinelle in report mode it fails? E.g.:
> > > > make coccicheck MODE=report M=drivers/staging/speakup/
> > > >
> > > > coccicheck failed
> > > > make: *** [Makefile:1650: coccicheck] Error 2
> > >
> > > What version of Coccinelle do you have?  You can put DEBUG_FILE=cocci.err
> > > on the command line, which should give some more information about the
> > > problem.
> > coccinelle is in version (1.0.4.deb-3+b4). After running with the debug
> > file I am getting this "Fatal error:
> > exception Sys_error("pool_zalloc-simple: No such file or directory")."
> 
> OK, I don'treally understand the message, but it would be better to use a
> more recent version.  You can get the most recent version from github:
> 
> https://github.com/coccinelle/coccinelle
> 
> julia
> 
Sounds like looking for this file but it seems to be correct on my
system: $ find . -name "pool_zalloc-simple*"
./scripts/coccinelle/api/alloc/pool_zalloc-simple.cocci

I'll download the latest version and let you know.

Thanks
ioannis
> >
> > thanks
> > ioannis
> > >
> > > julia
> > >
> > > >
> > > > Thank you
> > > > ioannis
> > > >
> > > > --
> > > > You received this message because you are subscribed to the Google Groups "outreachy-kernel" group.
> > > > To unsubscribe from this group and stop receiving emails from it, send an email to outreachy-kernel+unsubscribe@googlegroups.com.
> > > > To post to this group, send email to outreachy-kernel@googlegroups.com.
> > > > To view this discussion on the web visit https://groups.google.com/d/msgid/outreachy-kernel/20181104200908.GA26807%40kvasir.local.
> > > > For more options, visit https://groups.google.com/d/optout.
> > > >
> >
> >

Re: [Outreachy kernel] Coccinelle fails

[Ioannis Valasakis]

On Sun, Nov 04, 2018 at 09:35:55PM +0100, Julia Lawall wrote:
> 
> 
> On Sun, 4 Nov 2018, Ioannis Valasakis wrote:
> 
> > On Sun, Nov 04, 2018 at 09:14:25PM +0100, Julia Lawall wrote:
> > >
> > >
> > > On Sun, 4 Nov 2018, Ioannis Valasakis wrote:
> > >
> > > > Any idea why if I try to run coccinelle in report mode it fails? E.g.:
> > > > make coccicheck MODE=report M=drivers/staging/speakup/
> > > >
> > > > coccicheck failed
> > > > make: *** [Makefile:1650: coccicheck] Error 2
> > >
> > > What version of Coccinelle do you have?  You can put DEBUG_FILE=cocci.err
> > > on the command line, which should give some more information about the
> > > problem.
> > coccinelle is in version (1.0.4.deb-3+b4). After running with the debug
> > file I am getting this "Fatal error:
> > exception Sys_error("pool_zalloc-simple: No such file or directory")."
> 
> OK, I don'treally understand the message, but it would be better to use a
> more recent version.  You can get the most recent version from github:
> 
> https://github.com/coccinelle/coccinelle
I can verify that it works with the latest version (1.0.7). Apprently
the experimental version on Debian still gives an error: 
"Semantic patch uses python, but Coccinelle has been compiled without
Python support". FYI!

Thanks
ioannis
> 
> julia
> 
> >
> > thanks
> > ioannis
> > >
> > > julia
> > >
> > > >
> > > > Thank you
> > > > ioannis
> > > >
> > > > --
> > > > You received this message because you are subscribed to the Google Groups "outreachy-kernel" group.
> > > > To unsubscribe from this group and stop receiving emails from it, send an email to outreachy-kernel+unsubscribe@googlegroups.com.
> > > > To post to this group, send email to outreachy-kernel@googlegroups.com.
> > > > To view this discussion on the web visit https://groups.google.com/d/msgid/outreachy-kernel/20181104200908.GA26807%40kvasir.local.
> > > > For more options, visit https://groups.google.com/d/optout.
> > > >
> >
> >

Re: [Outreachy kernel] Coccinelle fails

[Julia Lawall]

On Sun, 4 Nov 2018, Ioannis Valasakis wrote:

> On Sun, Nov 04, 2018 at 09:35:55PM +0100, Julia Lawall wrote:
> >
> >
> > On Sun, 4 Nov 2018, Ioannis Valasakis wrote:
> >
> > > On Sun, Nov 04, 2018 at 09:14:25PM +0100, Julia Lawall wrote:
> > > >
> > > >
> > > > On Sun, 4 Nov 2018, Ioannis Valasakis wrote:
> > > >
> > > > > Any idea why if I try to run coccinelle in report mode it fails? E.g.:
> > > > > make coccicheck MODE=report M=drivers/staging/speakup/
> > > > >
> > > > > coccicheck failed
> > > > > make: *** [Makefile:1650: coccicheck] Error 2
> > > >
> > > > What version of Coccinelle do you have?  You can put DEBUG_FILE=cocci.err
> > > > on the command line, which should give some more information about the
> > > > problem.
> > > coccinelle is in version (1.0.4.deb-3+b4). After running with the debug
> > > file I am getting this "Fatal error:
> > > exception Sys_error("pool_zalloc-simple: No such file or directory")."
> >
> > OK, I don'treally understand the message, but it would be better to use a
> > more recent version.  You can get the most recent version from github:
> >
> > https://github.com/coccinelle/coccinelle
> I can verify that it works with the latest version (1.0.7). Apprently
> the experimental version on Debian still gives an error:
> "Semantic patch uses python, but Coccinelle has been compiled without
> Python support". FYI!

The experimental version on Debian is which Coccinelle version?

julia

Re: [Outreachy kernel] Coccinelle fails

[Ioannis Valasakis]

On Sun, Nov 04, 2018 at 10:03:21PM +0100, Julia Lawall wrote:
> 
> 
> On Sun, 4 Nov 2018, Ioannis Valasakis wrote:
> 
> > On Sun, Nov 04, 2018 at 09:35:55PM +0100, Julia Lawall wrote:
> > >
> > >
> > > On Sun, 4 Nov 2018, Ioannis Valasakis wrote:
> > >
> > > > On Sun, Nov 04, 2018 at 09:14:25PM +0100, Julia Lawall wrote:
> > > > >
> > > > >
> > > > > On Sun, 4 Nov 2018, Ioannis Valasakis wrote:
> > > > >
> > > > > > Any idea why if I try to run coccinelle in report mode it fails? E.g.:
> > > > > > make coccicheck MODE=report M=drivers/staging/speakup/
> > > > > >
> > > > > > coccicheck failed
> > > > > > make: *** [Makefile:1650: coccicheck] Error 2
> > > > >
> > > > > What version of Coccinelle do you have?  You can put DEBUG_FILE=cocci.err
> > > > > on the command line, which should give some more information about the
> > > > > problem.
> > > > coccinelle is in version (1.0.4.deb-3+b4). After running with the debug
> > > > file I am getting this "Fatal error:
> > > > exception Sys_error("pool_zalloc-simple: No such file or directory")."
> > >
> > > OK, I don'treally understand the message, but it would be better to use a
> > > more recent version.  You can get the most recent version from github:
> > >
> > > https://github.com/coccinelle/coccinelle
> > I can verify that it works with the latest version (1.0.7). Apprently
> > the experimental version on Debian still gives an error:
> > "Semantic patch uses python, but Coccinelle has been compiled without
> > Python support". FYI!
> 
> The experimental version on Debian is which Coccinelle version?
This is the one: https://packages.debian.org/experimental/coccinelle
> 
> julia