* [Cocci] release of version 1.1.0 @ 2021-02-27 8:11 Julia Lawall 2021-02-27 9:03 ` Denis Efremov 2021-02-28 20:01 ` [Cocci] Checking evolution according to " Markus Elfring 0 siblings, 2 replies; 7+ messages in thread From: Julia Lawall @ 2021-02-27 8:11 UTC (permalink / raw) To: cocci A new version 1.1.0 has been released. The most interesting change is the ability to put spatch command line options in a .cocci file, for example: #spatch --very-quiet -j 8 --recursive-includes --include-headers-for-types Other specific improvements are an improved handling of attributes and a more efficient treatment of header files (all thanks to Jaskaran Singh). Various other small issues have been addressed. All of these changes have already been available on github. julia _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Cocci] release of version 1.1.0 2021-02-27 8:11 [Cocci] release of version 1.1.0 Julia Lawall @ 2021-02-27 9:03 ` Denis Efremov 2021-02-27 9:14 ` Julia Lawall 2021-02-28 20:01 ` [Cocci] Checking evolution according to " Markus Elfring 1 sibling, 1 reply; 7+ messages in thread From: Denis Efremov @ 2021-02-27 9:03 UTC (permalink / raw) To: cocci Hi, Great news! Could you please create release tag on GitHub? This will allow me to add this version to tests and add new opam package version. Currently, I use these versions for tests: https://github.com/evdenis/cvehound/blob/master/.github/workflows/test.yml#L25 BTW, is there 1.0.9 version? I see that fedora provides 1.0.9 version, but there is not release tag for it and there is no opam package for it. Thanks, Denis On 2/27/21 11:11 AM, Julia Lawall wrote: > A new version 1.1.0 has been released. The most interesting change is the > ability to put spatch command line options in a .cocci file, for example: > > #spatch --very-quiet -j 8 --recursive-includes --include-headers-for-types > > Other specific improvements are an improved handling of attributes and a > more efficient treatment of header files (all thanks to Jaskaran Singh). > > Various other small issues have been addressed. > > All of these changes have already been available on github. > > julia > _______________________________________________ > Cocci mailing list > Cocci@systeme.lip6.fr > https://systeme.lip6.fr/mailman/listinfo/cocci > _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Cocci] release of version 1.1.0 2021-02-27 9:03 ` Denis Efremov @ 2021-02-27 9:14 ` Julia Lawall 2021-02-27 14:38 ` Denis Efremov 0 siblings, 1 reply; 7+ messages in thread From: Julia Lawall @ 2021-02-27 9:14 UTC (permalink / raw) To: Denis Efremov; +Cc: cocci On Sat, 27 Feb 2021, Denis Efremov wrote: > Hi, > > Great news! > > Could you please create release tag on GitHub? > This will allow me to add this version to tests and add new opam package version. > Currently, I use these versions for tests: > https://github.com/evdenis/cvehound/blob/master/.github/workflows/test.yml#L25 There is no tag at the moment. I have asked why. > > BTW, is there 1.0.9 version? I see that fedora provides 1.0.9 version, > but there is not release tag for it and there is no opam package for it. No, there is no version 1.0.9. We moved on to 1.1 due to the #spatch feature. julia > Thanks, > Denis > > On 2/27/21 11:11 AM, Julia Lawall wrote: > > A new version 1.1.0 has been released. The most interesting change is the > > ability to put spatch command line options in a .cocci file, for example: > > > > #spatch --very-quiet -j 8 --recursive-includes --include-headers-for-types > > > > Other specific improvements are an improved handling of attributes and a > > more efficient treatment of header files (all thanks to Jaskaran Singh). > > > > Various other small issues have been addressed. > > > > All of these changes have already been available on github. > > > > julia > > _______________________________________________ > > Cocci mailing list > > Cocci@systeme.lip6.fr > > https://systeme.lip6.fr/mailman/listinfo/cocci > > > _______________________________________________ > Cocci mailing list > Cocci@systeme.lip6.fr > https://systeme.lip6.fr/mailman/listinfo/cocci > _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Cocci] release of version 1.1.0 2021-02-27 9:14 ` Julia Lawall @ 2021-02-27 14:38 ` Denis Efremov 2021-02-27 14:47 ` Julia Lawall 0 siblings, 1 reply; 7+ messages in thread From: Denis Efremov @ 2021-02-27 14:38 UTC (permalink / raw) To: Julia Lawall; +Cc: cocci On 2/27/21 12:14 PM, Julia Lawall wrote: > > > On Sat, 27 Feb 2021, Denis Efremov wrote: > >> Hi, >> >> Great news! >> >> Could you please create release tag on GitHub? >> This will allow me to add this version to tests and add new opam package version. >> Currently, I use these versions for tests: >> https://github.com/evdenis/cvehound/blob/master/.github/workflows/test.yml#L25 > > There is no tag at the moment. I have asked why. > >> >> BTW, is there 1.0.9 version? I see that fedora provides 1.0.9 version, >> but there is not release tag for it and there is no opam package for it. > > No, there is no version 1.0.9. We moved on to 1.1 due to the #spatch > feature. > Seems like there is a mess. There is a commit with 1.0.9 release planned: https://github.com/coccinelle/coccinelle/commit/842075f77505386a782030ebffb1acf7f4237737#diff-652d5876e7e73c420820682a12ecdec66ecdec029223e24808e129d64493a967 Repology says that Fedora provides most recent coccinelle version: https://repology.org/project/coccinelle/versions Other distibutives use 1.0.8 version. On Fedora: $ sudo dnf info coccinelle Installed Packages Name : coccinelle Version : 1.0.9 Release : 0.14.gitd0fd4c7d.fc33.1 // <== d0fd4c7d commit reference Architecture : x86_64 Size : 26 M Source : coccinelle-1.0.9-0.14.gitd0fd4c7d.fc33.1.src.rpm $ /usr/bin/spatch --version spatch version 1.0.8-gc1dbb4f-dirty compiled with OCaml version 4.11.1 Flags passed to the configure script: --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir OCaml scripting support: yes Python scripting support: yes Syntax of regular expressions: PCRE Fedora 33, 1.0.9 version points to commit: $ fedpkg clone -a coccinelle $ cd coccinelle $ git checkout f33 $ cat coccinelle.spec | grep commit %global commit d0fd4c7dfa70763870914eedee7022fa35f700e2 %global shortcommit d0fd4c7d Fedora 34 also uses d0fd4c7d as base for 1.0.9 version. Fedora 32 points to 111d328fee1303f14a5b9def835301d849e41331. Maybe release 1.0.9 wasn't planned, but as my personal opinion adding 1.0.9 tag is not a bad idea just to reference some commit (for example, d0fd4c7d) and have 1.0.9 version to run backward compatibility tests on it. https://github.com/coccinelle/coccinelle/releases Thanks, Denis >> >> On 2/27/21 11:11 AM, Julia Lawall wrote: >>> A new version 1.1.0 has been released. The most interesting change is the >>> ability to put spatch command line options in a .cocci file, for example: >>> >>> #spatch --very-quiet -j 8 --recursive-includes --include-headers-for-types >>> >>> Other specific improvements are an improved handling of attributes and a >>> more efficient treatment of header files (all thanks to Jaskaran Singh). >>> >>> Various other small issues have been addressed. >>> >>> All of these changes have already been available on github. >>> >>> julia >>> _______________________________________________ >>> Cocci mailing list >>> Cocci@systeme.lip6.fr >>> https://systeme.lip6.fr/mailman/listinfo/cocci >>> >> _______________________________________________ >> Cocci mailing list >> Cocci@systeme.lip6.fr >> https://systeme.lip6.fr/mailman/listinfo/cocci >> _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Cocci] release of version 1.1.0 2021-02-27 14:38 ` Denis Efremov @ 2021-02-27 14:47 ` Julia Lawall 0 siblings, 0 replies; 7+ messages in thread From: Julia Lawall @ 2021-02-27 14:47 UTC (permalink / raw) To: Denis Efremov; +Cc: cocci On Sat, 27 Feb 2021, Denis Efremov wrote: > > > On 2/27/21 12:14 PM, Julia Lawall wrote: > > > > > > On Sat, 27 Feb 2021, Denis Efremov wrote: > > > >> Hi, > >> > >> Great news! > >> > >> Could you please create release tag on GitHub? > >> This will allow me to add this version to tests and add new opam package version. > >> Currently, I use these versions for tests: > >> https://github.com/evdenis/cvehound/blob/master/.github/workflows/test.yml#L25 > > > > There is no tag at the moment. I have asked why. > > > >> > >> BTW, is there 1.0.9 version? I see that fedora provides 1.0.9 version, > >> but there is not release tag for it and there is no opam package for it. > > > > No, there is no version 1.0.9. We moved on to 1.1 due to the #spatch > > feature. > > > > Seems like there is a mess. There is a commit with 1.0.9 release planned: > https://github.com/coccinelle/coccinelle/commit/842075f77505386a782030ebffb1acf7f4237737#diff-652d5876e7e73c420820682a12ecdec66ecdec029223e24808e129d64493a967 > > Repology says that Fedora provides most recent coccinelle version: > https://repology.org/project/coccinelle/versions > Other distibutives use 1.0.8 version. > > On Fedora: > $ sudo dnf info coccinelle > Installed Packages > Name : coccinelle > Version : 1.0.9 > Release : 0.14.gitd0fd4c7d.fc33.1 // <== d0fd4c7d commit reference > Architecture : x86_64 > Size : 26 M > Source : coccinelle-1.0.9-0.14.gitd0fd4c7d.fc33.1.src.rpm > > $ /usr/bin/spatch --version > spatch version 1.0.8-gc1dbb4f-dirty compiled with OCaml version 4.11.1 > Flags passed to the configure script: --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir > OCaml scripting support: yes > Python scripting support: yes > Syntax of regular expressions: PCRE > > Fedora 33, 1.0.9 version points to commit: > $ fedpkg clone -a coccinelle > $ cd coccinelle > $ git checkout f33 > $ cat coccinelle.spec | grep commit > %global commit d0fd4c7dfa70763870914eedee7022fa35f700e2 > %global shortcommit d0fd4c7d > > Fedora 34 also uses d0fd4c7d as base for 1.0.9 version. > Fedora 32 points to 111d328fee1303f14a5b9def835301d849e41331. > > Maybe release 1.0.9 wasn't planned, but as my personal opinion adding 1.0.9 tag is not a bad idea > just to reference some commit (for example, d0fd4c7d) and have 1.0.9 version to run > backward compatibility tests on it. > https://github.com/coccinelle/coccinelle/releases I donm't think any 1.0.9 was planned. It was probably an experiement with the release system gone wrong. But if someone has picked up on it, we may as well put a tag for it too. Thanks for the feedback. julia > > Thanks, > Denis > > >> > >> On 2/27/21 11:11 AM, Julia Lawall wrote: > >>> A new version 1.1.0 has been released. The most interesting change is the > >>> ability to put spatch command line options in a .cocci file, for example: > >>> > >>> #spatch --very-quiet -j 8 --recursive-includes --include-headers-for-types > >>> > >>> Other specific improvements are an improved handling of attributes and a > >>> more efficient treatment of header files (all thanks to Jaskaran Singh). > >>> > >>> Various other small issues have been addressed. > >>> > >>> All of these changes have already been available on github. > >>> > >>> julia > >>> _______________________________________________ > >>> Cocci mailing list > >>> Cocci@systeme.lip6.fr > >>> https://systeme.lip6.fr/mailman/listinfo/cocci > >>> > >> _______________________________________________ > >> Cocci mailing list > >> Cocci@systeme.lip6.fr > >> https://systeme.lip6.fr/mailman/listinfo/cocci > >> > _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Cocci] Checking evolution according to version 1.1.0 2021-02-27 8:11 [Cocci] release of version 1.1.0 Julia Lawall 2021-02-27 9:03 ` Denis Efremov @ 2021-02-28 20:01 ` Markus Elfring 2021-03-02 11:43 ` Richard W.M. Jones 1 sibling, 1 reply; 7+ messages in thread From: Markus Elfring @ 2021-02-28 20:01 UTC (permalink / raw) To: Julia Lawall; +Cc: Coccinelle > A new version 1.1.0 has been released. Thanks. I have dared to activate also a current OCaml version by the command “opam switch create 4.12.0”. I have tried to rebuild your software accordingly. elfring@Sonne:~/Projekte/Coccinelle/20160205> make distclean && git checkout master && git pull && ./autogen && ./configure && echo "$(./version.sh)" && grep VERSION=1 Makefile.config Now I stumble on the following error message. elfring@Sonne:~/Projekte/Coccinelle/20160205> LANG=C make world make -C bundles/stdcompat all make[1]: Entering directory '/home/elfring/Projekte/Coccinelle/20160205/bundles/stdcompat' cd stdcompat-current; make && cp *.mli *.cmi *.cmx *.cma *.cmxa *.a *.h .. make[2]: Entering directory '/home/elfring/Projekte/Coccinelle/20160205/bundles/stdcompat/stdcompat-current' make all-am make[3]: Entering directory '/home/elfring/Projekte/Coccinelle/20160205/bundles/stdcompat/stdcompat-current' ocamlfind ocamlopt -c -package seq -package uchar -bin-annot -no-alias-deps -I . -alert -deprecated stdcompat__arg_s.mli -o stdcompat__arg_s.cmi File "stdcompat__arg_s.mli", lines 3-17, characters 0-38: 3 | type spec = Arg.spec = 4 | | Unit of (unit -> unit) 5 | | Bool of (bool -> unit) 6 | | Set of bool ref 7 | | Clear of bool ref ... 14 | | Tuple of spec list 15 | | Symbol of string list * (string -> unit) 16 | | Rest of (string -> unit) 17 | | Expand of (string -> string array). Error: This variant or record definition does not match that of type Arg.spec Constructors number 14 have different names, Rest_all and Expand. make[3]: *** [Makefile:1612: stdcompat__arg_s.cmi] Error 2 … Would you like to point any corresponding adjustments out? Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 7+ messages in thread
* Re: [Cocci] Checking evolution according to version 1.1.0 2021-02-28 20:01 ` [Cocci] Checking evolution according to " Markus Elfring @ 2021-03-02 11:43 ` Richard W.M. Jones 0 siblings, 0 replies; 7+ messages in thread From: Richard W.M. Jones @ 2021-03-02 11:43 UTC (permalink / raw) To: Markus Elfring; +Cc: Coccinelle On Sun, Feb 28, 2021 at 09:01:54PM +0100, Markus Elfring wrote: > > A new version 1.1.0 has been released. > > Thanks. > > I have dared to activate also a current OCaml version by the command > “opam switch create 4.12.0”. > I have tried to rebuild your software accordingly. > > elfring@Sonne:~/Projekte/Coccinelle/20160205> make distclean && git checkout master && git pull && ./autogen && ./configure && echo "$(./version.sh)" && grep VERSION=1 Makefile.config > > > Now I stumble on the following error message. > > elfring@Sonne:~/Projekte/Coccinelle/20160205> LANG=C make world > make -C bundles/stdcompat all > make[1]: Entering directory '/home/elfring/Projekte/Coccinelle/20160205/bundles/stdcompat' > cd stdcompat-current; make && cp *.mli *.cmi *.cmx *.cma *.cmxa *.a *.h .. > make[2]: Entering directory '/home/elfring/Projekte/Coccinelle/20160205/bundles/stdcompat/stdcompat-current' > make all-am > make[3]: Entering directory '/home/elfring/Projekte/Coccinelle/20160205/bundles/stdcompat/stdcompat-current' > ocamlfind ocamlopt -c -package seq -package uchar -bin-annot -no-alias-deps -I . -alert -deprecated stdcompat__arg_s.mli -o stdcompat__arg_s.cmi > File "stdcompat__arg_s.mli", lines 3-17, characters 0-38: > 3 | type spec = Arg.spec = > 4 | | Unit of (unit -> unit) > 5 | | Bool of (bool -> unit) > 6 | | Set of bool ref > 7 | | Clear of bool ref > ... > 14 | | Tuple of spec list > 15 | | Symbol of string list * (string -> unit) > 16 | | Rest of (string -> unit) > 17 | | Expand of (string -> string array). > Error: This variant or record definition does not match that of type Arg.spec > Constructors number 14 have different names, Rest_all and Expand. > make[3]: *** [Makefile:1612: stdcompat__arg_s.cmi] Error 2 > … > > > Would you like to point any corresponding adjustments out? This patch will make it work, although it's a hack: https://src.fedoraproject.org/rpms/coccinelle/tree/rawhide Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-builder quickly builds VMs from scratch http://libguestfs.org/virt-builder.1.html _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 7+ messages in thread
end of thread, other threads:[~2021-03-02 11:43 UTC | newest] Thread overview: 7+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2021-02-27 8:11 [Cocci] release of version 1.1.0 Julia Lawall 2021-02-27 9:03 ` Denis Efremov 2021-02-27 9:14 ` Julia Lawall 2021-02-27 14:38 ` Denis Efremov 2021-02-27 14:47 ` Julia Lawall 2021-02-28 20:01 ` [Cocci] Checking evolution according to " Markus Elfring 2021-03-02 11:43 ` Richard W.M. Jones
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).