Re: [Cocci] version missmatch

2013-11-29 Thread Nicholas Mc Guire
On Fri, 29 Nov 2013, Peter Senna wrote: > As a "workaround", I did before running ./configure: > > aclocal -I m4 --install > autoconf > > then: > > ./configure > make all > > then: > > ./spatch --version > spatch version 1.0.0-rc18 with Python support and with PCRE support > > I've tested th

Re: [Cocci] version missmatch

2013-11-29 Thread Julia Lawall
On Fri, 29 Nov 2013, Nicholas Mc Guire wrote: > On Fri, 29 Nov 2013, Julia Lawall wrote: > > > On Fri, 29 Nov 2013, Arie Middelkoop wrote: > > > > > What is written in the "version" file in your coccinelle dir? > > > The tarball on the coccinelle website does have version rc18, so if you > > >

Re: [Cocci] version missmatch

2013-11-29 Thread Peter Senna
As a "workaround", I did before running ./configure: aclocal -I m4 --install autoconf then: ./configure make all then: ./spatch --version spatch version 1.0.0-rc18 with Python support and with PCRE support I've tested this on Fedora 19 and Debian Wheezy. It only worked in Fedora. I'm trying t

Re: [Cocci] version missmatch

2013-11-29 Thread Nicholas Mc Guire
On Fri, 29 Nov 2013, Julia Lawall wrote: > On Fri, 29 Nov 2013, Arie Middelkoop wrote: > > > What is written in the "version" file in your coccinelle dir? > > The tarball on the coccinelle website does have version rc18, so if you > > have that > > one, it cannot have invented rc17 out of thin a

Re: [Cocci] version missmatch

2013-11-29 Thread Nicholas Mc Guire
On Fri, 29 Nov 2013, Julia Lawall wrote: > On Fri, 29 Nov 2013, Nicholas Mc Guire wrote: > > > > > Hi ! > > > > minor glitch in the rc18 release (or should it be rc17 ?) > > after downloading coccinelle-1.0.0-rc18.tgz unpacking and > > compile/installing it on Debian wheezy it shows up as rc17

Re: [Cocci] version missmatch

2013-11-29 Thread Julia Lawall
On Fri, 29 Nov 2013, Michael Stefaniuc wrote: > On 11/29/2013 01:07 PM, Arie Middelkoop wrote: > > What is written in the "version" file in your coccinelle dir? > > The tarball on the coccinelle website does have version rc18, so if you > > have that one, it cannot have invented rc17 out of thin a

Re: [Cocci] version missmatch

2013-11-29 Thread Michael Stefaniuc
On 11/29/2013 01:07 PM, Arie Middelkoop wrote: > What is written in the "version" file in your coccinelle dir? > The tarball on the coccinelle website does have version rc18, so if you > have that one, it cannot have invented rc17 out of thin air... spatch --version returns that and it looks like i

Re: [Cocci] version missmatch

2013-11-29 Thread Julia Lawall
On Fri, 29 Nov 2013, Arie Middelkoop wrote: > What is written in the "version" file in your coccinelle dir? > The tarball on the coccinelle website does have version rc18, so if you have > that > one, it cannot have invented rc17 out of thin air... The contents of the version file on the tarball

Re: [Cocci] version missmatch

2013-11-29 Thread Arie Middelkoop
What is written in the "version" file in your coccinelle dir? The tarball on the coccinelle website does have version rc18, so if you have that one, it cannot have invented rc17 out of thin air... Also, check the output of configure and also configure.log and scan for lines about python, as this g

Re: [Cocci] version missmatch

2013-11-29 Thread Julia Lawall
On Fri, 29 Nov 2013, Nicholas Mc Guire wrote: > > Hi ! > > minor glitch in the rc18 release (or should it be rc17 ?) > after downloading coccinelle-1.0.0-rc18.tgz unpacking and > compile/installing it on Debian wheezy it shows up as rc17 > > root@Xil:~# tar -xzf coccinelle-1.0.0-rc18.tgz > root

[Cocci] version missmatch

2013-11-29 Thread Nicholas Mc Guire
Hi ! minor glitch in the rc18 release (or should it be rc17 ?) after downloading coccinelle-1.0.0-rc18.tgz unpacking and compile/installing it on Debian wheezy it shows up as rc17 root@Xil:~# tar -xzf coccinelle-1.0.0-rc18.tgz root@Xil:~# cd coccinelle-1.0.0-rc18/ root@Xil:~/coccinelle-1.0.