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:
> Repology says that Fedora provides most recent coccinelle version:
> 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
> 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.
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.
> >> 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