[Cocci] Fwd: [~npalix/ubuntu/coccinelle/focal] coccinelle 1.0.8~20.04npalix1 (Accepted)

Hi, I released the 1.0.8 version ported to 20.04 focal on the coccinelle PPA. Regards, De: "Launchpad PPA" À: "Nicolas Palix" Envoyé: Jeudi 18 Juin 2020 20:55:16 Objet: [~npalix/ubuntu/coccinelle/focal] coccinelle 1.0.8~20.04npalix1 (Accepted) Accepted:

Re: [Cocci] 1.0.8 on Ubuntu

Le 05/05/2020 à 11:16, Kaspar Schleiser a écrit : Hi Nicolas, thanks for the quick reply! You're welcome. Julia, maybe it worth recording the sequence of commands somewhere, in the README or the website. On 5/5/20 10:50 AM, Nicolas Palix wrote: I think you could try the following

Re: [Cocci] 1.0.8 on Ubuntu

wnload.php ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci -- Nicolas Palix http://lig-membres.imag.fr/palix/ ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] coccinelle depends on unmaintained pygtk

Le 27/02/2020 à 10:45, Julia Lawall a écrit : On Thu, 27 Feb 2020, Nicolas Palix wrote: Hi Emmanuel, Instead of porting to GObject directly, can we use PyGTKCompat ? https://wiki.gnome.org/Projects/PyGObject/PyGTKCompat The problem is resolved by removing the python file that relied

Re: [Cocci] coccinelle depends on unmaintained pygtk

julia ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci -- Nicolas Palix http://lig-membres.imag.fr/palix/ ___ Cocci mailing list Cocci@systeme.lip6.fr https

Re: [Cocci] splitting and fingerprinting findings

on line 70 is the same as the report on line 69. julia ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci -- Nicolas Palix http://lig-membres.imag.fr/palix

Re: [Cocci] [PATCH] coccinelle: grep Options and Requires fields more precisely

equires:" in order to avoid accidental matching to what just happens to appear in comment lines. Signed-off-by: Masahiro Yamada <yamada.masah...@socionext.com> Thanks for checking on this! Acked-by: Julia Lawall <julia.law...@lip6.fr> Acked-by: Nicolas Palix <nicolas.pa...@

Re: [Cocci] [PATCH] coccinelle: fix verbose message about .cocci file being run

sed is not a good choice here. Strip $srctree/ simply without sed. Signed-off-by: Masahiro Yamada <yamada.masah...@socionext.com> Acked-by: Nicolas Palix <nicolas.pa...@imag.fr> --- scripts/coccicheck | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/coc

Re: [Cocci] [PATCH] coccicheck: improve pattern for getting relative path

FILE=`echo $COCCI | sed "s|^$srctree/||"` echo "Processing `basename $COCCI`" echo "with option(s) \"$OPT\"" -- Nicolas Palix http://lig-membres.imag.fr/palix/ smime.p7s Description: Signature cryptographique S/MIME _

Re: [Cocci] [PATCH v3 7/8] coccicheck: refer to coccicheck bottest wiki for documentation

always refers to the linux-next version of the script. # # This script requires at least spatch # version 1.0.0-rc11. -# DIR="$(dirname $(readlink -f $0))/.." SPATCH="`which ${SPATCH:=spatch}`" -- Nicolas Palix http://lig-membres.imag.fr/palix/ smime.p7s Description: S

Re: [Cocci] [PATCH v3 8/8] scripts/coccinelle: require coccinelle >= 1.0.4 on device_node_continue.cocci

. Rodriguez <mcg...@kernel.org> Acked-by: Julia Lawall <julia.law...@lip6.fr> Acked-by: Nicolas Palix <nicolas.pa...@imag.fr> --- scripts/coccinelle/iterators/device_node_continue.cocci | 3 +++ 1 file changed, 3 insertions(+) diff --git a/scripts/coccinelle/iterators/device_node

Re: [Cocci] [PATCH v3 5/8] scripts: add Linux .cocciconfig for coccinelle

the --dir option is processed last, if used Signed-off-by: Luis R. Rodriguez <mcg...@kernel.org> Acked-by: Nicolas Palix <nicolas.pa...@imag.fr> --- .cocciconfig | 3 +++ .gitignore | 1 + 2 files changed, 4 insertions(+) create mode 100644 .cocciconfig diff --git a/.coccicon

Re: [Cocci] [PATCH v3 6/8] coccicheck: add support for requring a coccinelle version

-off-by: Luis R. Rodriguez <mcg...@kernel.org> Acked-by: Nicolas Palix <nicolas.pa...@imag.fr> --- scripts/coccicheck | 14 ++ 1 file changed, 14 insertions(+) diff --git a/scripts/coccicheck b/scripts/coccicheck index 998d764636e0..01b6716ea931 100755 --- a/scripts/cocc

Re: [Cocci] 1.0.0-rc22

Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci -- Nicolas Palix Tel: +33 4 76 51 46 27 http://lig-membres.imag.fr/palix/ ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] upcoming coccinelle-related events

://systeme.lip6.fr/mailman/listinfo/cocci -- Nicolas Palix Tel: +33 4 76 51 46 27 http://lig-membres.imag.fr/palix/ ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Fatal error: exception Failure(no python)

' spatch --version' report python support ? Such as spatch version 1.0.0-rc15 with Python support and with PCRE support Regards, -- Nicolas Palix Tel: +33 4 76 51 46 27 http://lig-membres.imag.fr/palix/ ___ Cocci mailing list Cocci@systeme.lip6.fr

Re: [Cocci] virtual rule patch not supported

npalix@lig-yttrium linux $ find scripts/coccinelle -name *.cocci -exec grep -H 'virtual patch' \{} \; | wc -l 24 On Fri, Mar 15, 2013 at 4:11 PM, Nicolas Palix nicolas.pa...@imag.fr wrote: On Fri, Mar 15, 2013 at 4:03 PM, Brice Goglin brice.gog...@inria.fr wrote: Le 15/03/2013 15:49, Nicolas

Re: [Cocci] [PATCH 2 2/2] coccicheck: Allow to show the executed command line

line is being shown. Signed-off-by: Bernd Schubert bernd.schub...@itwm.fraunhofer.de CC: Julia Lawall julia.law...@lip6.fr CC: Nicolas Palix nicolas.pa...@imag.fr Acked-by: Nicolas Palix nicolas.pa...@imag.fr CC: cocci@systeme.lip6.fr CC: Michal Marek mma...@suse.cz --- scripts/coccicheck