[Cocci] 答复: 答复: Fatal error: exception Failure("no python")
linjia at ruijie.com.cn
Sat Feb 15 03:30:04 CET 2014
Sorry , I didn’t describe clearly. Well, The step is following:
1 I installed cocc by using deb package 'coccinelle_0.2.3.deb-1_i386.deb' at first. All is ok.
2 Then I think its version may be too low. So I downloaded the source of version 1.0 and make install. All is ok.
3 I made some 'apt-get install upgrade and update' for another reason, I didn’t think it has something to do with cocc.
4 the problem occur when I use cocc.
5 I found I can run cocc by "/usr/bin/spatch " , but not by "spatch ", I think there is some chaos in the cocc config now, see following...
root at debian:~/windows/ctest/cocc# /usr/bin/spatch -version
spatch version 0.2.3 with Python support
root at debian:~/windows/ctest/cocc# spatch -version
spatch version 1.0.0-rc19 without Python support and with Str regexp support
root at debian:~/windows/ctest/cocc#
发件人: Julia Lawall [mailto:julia.lawall at lip6.fr]
发送时间: 2014年2月14日 20:58
收件人: 林嘉(程二 福州)
抄送: Nicolas Palix; cocci at systeme.lip6.fr
主题: Re: [Cocci] 答复: Fatal error: exception Failure("no python")
On Fri, 14 Feb 2014, 林嘉(程二 福州) wrote:
> # spatch --version
> spatch version 1.0.0-rc19 without Python support and with Str regexp
> but I didn't make and make install with option '--without-python '
> that is I pressed ./configure --enable-release, just it
> and now when I run "/usr/bin/spatch -sp_file ....", all is ok, it
> seems version 0.2.3 runs but "spatch -sp_file " reports fail, seems version 1.0 runs?
I'm not sure to understand what you are doing. Are you compiling coccinelle from the source code, or are you using one from a distribution.
If you are compiling from source code, what does it say about python when you run ./configure?
I think that you are not the first to have this problem. Maybe search for python on the gmane archives of the mailing list:
> 发件人: npalix.work at gmail.com [mailto:npalix.work at gmail.com] 代表 Nicolas
> 发送时间: 2014年2月14日 17:51
> 收件人: 林嘉(程二 福州)
> 抄送: cocci at systeme.lip6.fr
> 主题: Re: [Cocci] Fatal error: exception Failure("no python")
> On Fri, Feb 14, 2014 at 8:57 AM, 林嘉(程二 福州) <linjia at ruijie.com.cn> wrote:
> > Then I found cocc can not work, it reports: Fatal error: exception
> > Failure("no python")
> You get is error when spatch has not been compiled with Python support but you are still using cocci file with Python snippet.
> Does ' spatch --version' report python support ?
> Such as
> spatch version 1.0.0-rc15 with Python support and with PCRE
> Nicolas Palix
> Tel: +33 4 76 51 46 27
> Cocci mailing list
> Cocci at systeme.lip6.fr
More information about the Cocci