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
