Re: [Cocci] release of version 1.1.0

[Julia Lawall <julia.lawall@inria.fr>]

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