[Cocci] version missmatch

[Cocci] version missmatch

[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 at Xil:~# tar -xzf coccinelle-1.0.0-rc18.tgz  
root at Xil:~# cd coccinelle-1.0.0-rc18/
root at Xil:~/coccinelle-1.0.0-rc18# ./configure --with-python --with-menhir
root at Xil:~/coccinelle-1.0.0-rc18# make all
root at Xil:~/coccinelle-1.0.0-rc18# make install
root at Xil:~/coccinelle-1.0.0-rc18# export PATH=/usr/local/bin:$PATH
root at Xil:~/coccinelle-1.0.0-rc18# patch --version
root at Xilinx:/usr/src/janitor/tools/coccinelle-1.0.0-rc18# /usr/local/bin/spatch --version
spatch version 1.0.0-rc17 without Python support and with Str regexp support roo
 
 since I never had rc17 installed I guess something went wrong with packaging ?

 also not sure why it says without python - it reported no errors config or 
 build ? 
 a make coccicheck in the kernel then complains about
 ..
 Fatal error: exception Failure("no python")

 any idea what is wrong with the install procedure ? (python2.6-dev and 
 python3.1-dev as well as menhir is installed)


thx!
hofrat

[Cocci] version missmatch

[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 at Xil:~# tar -xzf coccinelle-1.0.0-rc18.tgz
> root at Xil:~# cd coccinelle-1.0.0-rc18/
> root at Xil:~/coccinelle-1.0.0-rc18# ./configure --with-python --with-menhir
> root at Xil:~/coccinelle-1.0.0-rc18# make all
> root at Xil:~/coccinelle-1.0.0-rc18# make install
> root at Xil:~/coccinelle-1.0.0-rc18# export PATH=/usr/local/bin:$PATH
> root at Xil:~/coccinelle-1.0.0-rc18# patch --version
> root at Xilinx:/usr/src/janitor/tools/coccinelle-1.0.0-rc18# /usr/local/bin/spatch --version
> spatch version 1.0.0-rc17 without Python support and with Str regexp support roo
>
>  since I never had rc17 installed I guess something went wrong with packaging ?
>
>  also not sure why it says without python - it reported no errors config or
>  build ?
>  a make coccicheck in the kernel then complains about
>  ..
>  Fatal error: exception Failure("no python")
>
>  any idea what is wrong with the install procedure ? (python2.6-dev and
>  python3.1-dev as well as menhir is installed)

Unfortunately, I understand almost nothing about the build system :(

I will try to be sure that for the next release the name that Coccinelle
is given matches the name that it actually is...

For python, I'm not sure.  Where is python located on your machine?  I see
some mentions of python2.7 instead of python2.6.  Maybe you need that
version?

julia

[Cocci] version missmatch

[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
> >
> > root at Xil:~# tar -xzf coccinelle-1.0.0-rc18.tgz
> > root at Xil:~# cd coccinelle-1.0.0-rc18/
> > root at Xil:~/coccinelle-1.0.0-rc18# ./configure --with-python --with-menhir
> > root at Xil:~/coccinelle-1.0.0-rc18# make all
> > root at Xil:~/coccinelle-1.0.0-rc18# make install
> > root at Xil:~/coccinelle-1.0.0-rc18# export PATH=/usr/local/bin:$PATH
> > root at Xil:~/coccinelle-1.0.0-rc18# patch --version
> > root at Xilinx:/usr/src/janitor/tools/coccinelle-1.0.0-rc18# /usr/local/bin/spatch --version
> > spatch version 1.0.0-rc17 without Python support and with Str regexp support roo
> >
> >  since I never had rc17 installed I guess something went wrong with packaging ?
> >
> >  also not sure why it says without python - it reported no errors config or
> >  build ?
> >  a make coccicheck in the kernel then complains about
> >  ..
> >  Fatal error: exception Failure("no python")
> >
> >  any idea what is wrong with the install procedure ? (python2.6-dev and
> >  python3.1-dev as well as menhir is installed)
> 
> Unfortunately, I understand almost nothing about the build system :(
>

well if a Debian specific requirements/download/compile/install/running
instruction would be usefull for the manual to fill in chapter 2 let me know
 
> I will try to be sure that for the next release the name that Coccinelle
> is given matches the name that it actually is...
> 
> For python, I'm not sure.  Where is python located on your machine?  I see
> some mentions of python2.7 instead of python2.6.  Maybe you need that
> version?
>
python 2.6 seems fine - the problem was that it depends on pkg-config and 
for python2.6 there was no package config file in /usr/lib/pkgconfig/ - bute 
force solution isntall python 3.1 (which comes with a valid .pc file) 
copy python-3.1.pc to python-2.6.pc and fix it up manually (its only a 
few lines) then rebuild coccinelle with 
./configure  --with-python --enable-python --enable-pycaml

 and that gives me

root at Xil:~/tools/coccinelle-1.0.0-rc18# spatch --version
spatch version 1.0.0-rc17 with Python support and with Str regexp support root at X

since make coccicheck works again in the kernel I guess its fine.

thx!
hofrat 

[Cocci] version missmatch

[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 gives an indication what it found.

Also, Debian "jessie" has rc18 together with python 2.6.

Arie


2013/11/29 Nicholas Mc Guire <der.herr@hofr.at>

>
> 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 at Xil:~# tar -xzf coccinelle-1.0.0-rc18.tgz
> root at Xil:~# cd coccinelle-1.0.0-rc18/
> root at Xil:~/coccinelle-1.0.0-rc18# ./configure --with-python --with-menhir
> root at Xil:~/coccinelle-1.0.0-rc18# make all
> root at Xil:~/coccinelle-1.0.0-rc18# make install
> root at Xil:~/coccinelle-1.0.0-rc18# export PATH=/usr/local/bin:$PATH
> root at Xil:~/coccinelle-1.0.0-rc18# patch --version
> root at Xilinx:/usr/src/janitor/tools/coccinelle-1.0.0-rc18#
> /usr/local/bin/spatch --version
> spatch version 1.0.0-rc17 without Python support and with Str regexp
> support roo
>
>  since I never had rc17 installed I guess something went wrong with
> packaging ?
>
>  also not sure why it says without python - it reported no errors config or
>  build ?
>  a make coccicheck in the kernel then complains about
>  ..
>  Fatal error: exception Failure("no python")
>
>  any idea what is wrong with the install procedure ? (python2.6-dev and
>  python3.1-dev as well as menhir is installed)
>
>
> thx!
> hofrat
> _______________________________________________
> Cocci mailing list
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://systeme.lip6.fr/pipermail/cocci/attachments/20131129/861b0e3e/attachment.html>

[Cocci] version missmatch

[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 on the website is

1.0.0-rc18

julia

> Also, check the output of configure and also configure.log and scan for lines about
> python, as this gives an indication what it found.
>
> Also, Debian "jessie" has rc18 together with python 2.6.
>
> Arie
>
>
> 2013/11/29 Nicholas Mc Guire <der.herr@hofr.at>
>
>       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 at Xil:~# tar -xzf coccinelle-1.0.0-rc18.tgz
>       root at Xil:~# cd coccinelle-1.0.0-rc18/
>       root at Xil:~/coccinelle-1.0.0-rc18# ./configure --with-python --with-menhir
>       root at Xil:~/coccinelle-1.0.0-rc18# make all
>       root at Xil:~/coccinelle-1.0.0-rc18# make install
>       root at Xil:~/coccinelle-1.0.0-rc18# export PATH=/usr/local/bin:$PATH
>       root at Xil:~/coccinelle-1.0.0-rc18# patch --version
>       root at Xilinx:/usr/src/janitor/tools/coccinelle-1.0.0-rc18#
>       /usr/local/bin/spatch --version
>       spatch version 1.0.0-rc17 without Python support and with Str regexp
>       support roo
>
>       ?since I never had rc17 installed I guess something went wrong with
>       packaging ?
>
>       ?also not sure why it says without python - it reported no errors config
>       or
>       ?build ?
>       ?a make coccicheck in the kernel then complains about
>       ?..
>       ?Fatal error: exception Failure("no python")
>
>       ?any idea what is wrong with the install procedure ? (python2.6-dev and
>       ?python3.1-dev as well as menhir is installed)
>
>
>       thx!
>       hofrat
>       _______________________________________________
>       Cocci mailing list
>       Cocci at systeme.lip6.fr
>       https://systeme.lip6.fr/mailman/listinfo/cocci
>
>
>
>

[Cocci] version missmatch

[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 air...
> 
> The contents of the version file on the tarball on the website is
> 
> 1.0.0-rc18
>
right the version file contains

 1.0.0-rc18

but the top leve configure script has
the following heaeder:

#! /bin/sh
# Guess values for system-dependent variables and create Makefiles.
# Generated by GNU Autoconf 2.69 for coccinelle 1.0.0-rc17. 
#
# Report bugs to <cocci@diku.dk>.

 and the following settings:

PACKAGE_VERSION='1.0.0-rc17'
PACKAGE_STRING='coccinelle 1.0.0-rc17'

 thus something got confused I guess
 and is that bug reporting address still valid ?

thx!
hofrat

[Cocci] version missmatch

[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 to fix the issue, so the workaround will not be
needed for long.

On Fri, Nov 29, 2013 at 1:47 PM, Nicholas Mc Guire <der.herr@hofr.at> 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 have that
>> > one, it cannot have invented rc17 out of thin air...
>>
>> The contents of the version file on the tarball on the website is
>>
>> 1.0.0-rc18
>>
> right the version file contains
>
>  1.0.0-rc18
>
> but the top leve configure script has
> the following heaeder:
>
> #! /bin/sh
> # Guess values for system-dependent variables and create Makefiles.
> # Generated by GNU Autoconf 2.69 for coccinelle 1.0.0-rc17.
> #
> # Report bugs to <cocci@diku.dk>.
>
>  and the following settings:
>
> PACKAGE_VERSION='1.0.0-rc17'
> PACKAGE_STRING='coccinelle 1.0.0-rc17'
>
>  thus something got confused I guess
>  and is that bug reporting address still valid ?
>
> thx!
> hofrat
> _______________________________________________
> Cocci mailing list
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci



-- 
Peter

[Cocci] version missmatch

[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 this on Fedora 19 and Debian Wheezy. It only worked in
> Fedora. I'm trying to fix the issue, so the workaround will not be
> needed for long.
>
...before it gets complicated use brute force :)
the simples work around is to edit
configure and manually set it to rc18

PACKAGE_VERSION='1.0.0-rc18'
PACKAGE_STRING='coccinelle 1.0.0-rc18'

the build seems ok (that is make coccicheck in linux-3.12.1 is happy).

thx!
hofrat

the missing \n is here:
--- coccinelle-1.0.0-rc18/main.ml       2013-11-29 08:42:35.000000000 -0500
+++ coccinelle-1.0.0-rc18.release/main.ml       2013-08-19 04:40:12.000000000 -0
400
@@ -349,7 +349,7 @@
       if !Regexp.pcre_support then "with PCRE support"
       else "with Str regexp support "
     in
-    Printf.printf "spatch version %s %s Python support and %s\n"
+    Printf.printf "spatch version %s %s Python support and %s"
       Config.version withpython whichregexp;
     exit 0;
   ),

[Cocci] version missmatch

[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 have that
> > > one, it cannot have invented rc17 out of thin air...
> >
> > The contents of the version file on the tarball on the website is
> >
> > 1.0.0-rc18
> >
> right the version file contains
>
>  1.0.0-rc18
>
> but the top leve configure script has
> the following heaeder:
>
> #! /bin/sh
> # Guess values for system-dependent variables and create Makefiles.
> # Generated by GNU Autoconf 2.69 for coccinelle 1.0.0-rc17.
> #
> # Report bugs to <cocci@diku.dk>.
>
>  and the following settings:
>
> PACKAGE_VERSION='1.0.0-rc17'
> PACKAGE_STRING='coccinelle 1.0.0-rc17'
>
>  thus something got confused I guess
>  and is that bug reporting address still valid ?

Good point!  Thanks for noticing it.

julia

[Cocci] version missmatch

[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 it even misses a \n

sibiu:~$ spatch --version
spatch version 1.0.0-rc17 with Python support and with PCRE supportsibiu:~$

sibiu:~$ rpm -q coccinelle
coccinelle-1.0.0-0.rc18.1.fc19.x86_64

This is a common problem that spatch --version is not correct; I had
reported it this year too, afair in summer.

bye
	michael

> 
> Also, check the output of configure and also configure.log and scan for
> lines about python, as this gives an indication what it found.
> 
> Also, Debian "jessie" has rc18 together with python 2.6.
> 
> Arie
> 
> 
> 2013/11/29 Nicholas Mc Guire <der.herr at hofr.at <mailto:der.herr@hofr.at>>
> 
> 
>     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 at Xil:~# tar -xzf coccinelle-1.0.0-rc18.tgz
>     root at Xil:~# cd coccinelle-1.0.0-rc18/
>     root at Xil:~/coccinelle-1.0.0-rc18# ./configure --with-python
>     --with-menhir
>     root at Xil:~/coccinelle-1.0.0-rc18# make all
>     root at Xil:~/coccinelle-1.0.0-rc18# make install
>     root at Xil:~/coccinelle-1.0.0-rc18# export PATH=/usr/local/bin:$PATH
>     root at Xil:~/coccinelle-1.0.0-rc18# patch --version
>     root at Xilinx:/usr/src/janitor/tools/coccinelle-1.0.0-rc18#
>     /usr/local/bin/spatch --version
>     spatch version 1.0.0-rc17 without Python support and with Str regexp
>     support roo
> 
>      since I never had rc17 installed I guess something went wrong with
>     packaging ?
> 
>      also not sure why it says without python - it reported no errors
>     config or
>      build ?
>      a make coccicheck in the kernel then complains about
>      ..
>      Fatal error: exception Failure("no python")
> 
>      any idea what is wrong with the install procedure ? (python2.6-dev and
>      python3.1-dev as well as menhir is installed)

[Cocci] version missmatch

[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 air...
> spatch --version returns that and it looks like it even misses a \n
>
> sibiu:~$ spatch --version
> spatch version 1.0.0-rc17 with Python support and with PCRE supportsibiu:~$
>
> sibiu:~$ rpm -q coccinelle
> coccinelle-1.0.0-0.rc18.1.fc19.x86_64
>
> This is a common problem that spatch --version is not correct; I had
> reported it this year too, afair in summer.

Yes, I remember...

julia


>
> bye
> 	michael
>
> >
> > Also, check the output of configure and also configure.log and scan for
> > lines about python, as this gives an indication what it found.
> >
> > Also, Debian "jessie" has rc18 together with python 2.6.
> >
> > Arie
> >
> >
> > 2013/11/29 Nicholas Mc Guire <der.herr at hofr.at <mailto:der.herr@hofr.at>>
> >
> >
> >     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 at Xil:~# tar -xzf coccinelle-1.0.0-rc18.tgz
> >     root at Xil:~# cd coccinelle-1.0.0-rc18/
> >     root at Xil:~/coccinelle-1.0.0-rc18# ./configure --with-python
> >     --with-menhir
> >     root at Xil:~/coccinelle-1.0.0-rc18# make all
> >     root at Xil:~/coccinelle-1.0.0-rc18# make install
> >     root at Xil:~/coccinelle-1.0.0-rc18# export PATH=/usr/local/bin:$PATH
> >     root at Xil:~/coccinelle-1.0.0-rc18# patch --version
> >     root at Xilinx:/usr/src/janitor/tools/coccinelle-1.0.0-rc18#
> >     /usr/local/bin/spatch --version
> >     spatch version 1.0.0-rc17 without Python support and with Str regexp
> >     support roo
> >
> >      since I never had rc17 installed I guess something went wrong with
> >     packaging ?
> >
> >      also not sure why it says without python - it reported no errors
> >     config or
> >      build ?
> >      a make coccicheck in the kernel then complains about
> >      ..
> >      Fatal error: exception Failure("no python")
> >
> >      any idea what is wrong with the install procedure ? (python2.6-dev and
> >      python3.1-dev as well as menhir is installed)
> _______________________________________________
> Cocci mailing list
> Cocci at systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
>

[Cocci] version mismatch

[SF Markus Elfring]

> This is a common problem that spatch --version is not correct; [...]

Do the chances become better to improve the build specification so that
a command like "autoreconf" will work again?

Regards,
Markus