* Coccinelle fails @ 2018-11-04 20:09 Ioannis Valasakis 2018-11-04 20:14 ` [Outreachy kernel] " Julia Lawall 0 siblings, 1 reply; 8+ messages in thread From: Ioannis Valasakis @ 2018-11-04 20:09 UTC (permalink / raw) To: outreachy-kernel 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 ^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [Outreachy kernel] Coccinelle fails 2018-11-04 20:09 Coccinelle fails Ioannis Valasakis @ 2018-11-04 20:14 ` Julia Lawall 2018-11-04 20:18 ` Ioannis Valasakis 0 siblings, 1 reply; 8+ messages in thread From: Julia Lawall @ 2018-11-04 20:14 UTC (permalink / raw) To: Ioannis Valasakis; +Cc: outreachy-kernel 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. > ^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [Outreachy kernel] Coccinelle fails 2018-11-04 20:14 ` [Outreachy kernel] " Julia Lawall @ 2018-11-04 20:18 ` Ioannis Valasakis 2018-11-04 20:35 ` Julia Lawall 0 siblings, 1 reply; 8+ messages in thread From: Ioannis Valasakis @ 2018-11-04 20:18 UTC (permalink / raw) To: Julia Lawall; +Cc: outreachy-kernel 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. > > ^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [Outreachy kernel] Coccinelle fails 2018-11-04 20:18 ` Ioannis Valasakis @ 2018-11-04 20:35 ` Julia Lawall 2018-11-04 20:38 ` Ioannis Valasakis 2018-11-04 20:59 ` Ioannis Valasakis 0 siblings, 2 replies; 8+ messages in thread From: Julia Lawall @ 2018-11-04 20:35 UTC (permalink / raw) To: Ioannis Valasakis; +Cc: outreachy-kernel 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. > > > > > ^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [Outreachy kernel] Coccinelle fails 2018-11-04 20:35 ` Julia Lawall @ 2018-11-04 20:38 ` Ioannis Valasakis 2018-11-04 20:59 ` Ioannis Valasakis 1 sibling, 0 replies; 8+ messages in thread From: Ioannis Valasakis @ 2018-11-04 20:38 UTC (permalink / raw) To: Julia Lawall; +Cc: outreachy-kernel 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. > > > > > > > > ^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [Outreachy kernel] Coccinelle fails 2018-11-04 20:35 ` Julia Lawall 2018-11-04 20:38 ` Ioannis Valasakis @ 2018-11-04 20:59 ` Ioannis Valasakis 2018-11-04 21:03 ` Julia Lawall 1 sibling, 1 reply; 8+ messages in thread From: Ioannis Valasakis @ 2018-11-04 20:59 UTC (permalink / raw) To: Julia Lawall; +Cc: outreachy-kernel 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. > > > > > > > > ^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [Outreachy kernel] Coccinelle fails 2018-11-04 20:59 ` Ioannis Valasakis @ 2018-11-04 21:03 ` Julia Lawall 2018-11-04 21:24 ` Ioannis Valasakis 0 siblings, 1 reply; 8+ messages in thread From: Julia Lawall @ 2018-11-04 21:03 UTC (permalink / raw) To: Ioannis Valasakis; +Cc: outreachy-kernel 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 ^ permalink raw reply [flat|nested] 8+ messages in thread
* Re: [Outreachy kernel] Coccinelle fails 2018-11-04 21:03 ` Julia Lawall @ 2018-11-04 21:24 ` Ioannis Valasakis 0 siblings, 0 replies; 8+ messages in thread From: Ioannis Valasakis @ 2018-11-04 21:24 UTC (permalink / raw) To: Julia Lawall; +Cc: outreachy-kernel 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 ^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2018-11-04 21:24 UTC | newest] Thread overview: 8+ messages (download: mbox.gz follow: Atom feed -- links below jump to the message on this page -- 2018-11-04 20:09 Coccinelle fails Ioannis Valasakis 2018-11-04 20:14 ` [Outreachy kernel] " Julia Lawall 2018-11-04 20:18 ` Ioannis Valasakis 2018-11-04 20:35 ` Julia Lawall 2018-11-04 20:38 ` Ioannis Valasakis 2018-11-04 20:59 ` Ioannis Valasakis 2018-11-04 21:03 ` Julia Lawall 2018-11-04 21:24 ` Ioannis Valasakis
This is an external index of several public inboxes, see mirroring instructions on how to clone and mirror all data and code used by this external index.