Coccinelle Archive on lore.kernel.org
 help / color / Atom feed
* [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, back to index

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

Coccinelle Archive on lore.kernel.org

Archives are clonable:
	git clone --mirror https://lore.kernel.org/cocci/0 cocci/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 cocci cocci/ https://lore.kernel.org/cocci \
		cocci@systeme.lip6.fr
	public-inbox-index cocci

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://nntp.lore.kernel.org/fr.lip6.systeme.cocci


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git