Re: [Cocci] release of version 1.1.0
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
Re: [Cocci] release of version 1.1.0
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
Re: [Cocci] release of version 1.1.0
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
Re: [Cocci] release of version 1.1.0
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
