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.0-rc18# ./configure --with-python --with-menhir
root@Xil:~/coccinelle-1.0.0-rc18# make all
root@Xil:~/coccinelle-1.0.0-rc18# make install
root@Xil:~/coccinelle-1.0.0-rc18# export PATH=/usr/local/bin:$PATH
root@Xil:~/coccinelle-1.0.0-rc18# patch --version
root@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@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
