[Cocci] 答复: 答复: 答复: Fatal error: exception Failure("no python")

Julia Lawall julia.lawall at lip6.fr
Mon Feb 17 10:38:19 CET 2014


In the mailing list archives there is some discussion of Python:

http://blog.gmane.org/gmane.comp.version-control.coccinelle/day=20130823
http://blog.gmane.org/gmane.comp.version-control.coccinelle/day=20130824

julia

On Mon, 17 Feb 2014, 林嘉(程二 福州) wrote:

> Yes, I rerun the configure with enable python, and found lack of the pkg-config python lib
>
>
> ./configure --enable-release --enable-ocaml --enable-python --enable-pcre-syntax
> reports:
> ./configure: line 15220: /root/windows/install/coccinelle-master/coccinelle-master/setup/fake-subst.sh: Permission denied
> configure: error: the python scripts feature is enabled but the pkg-config python library is not found
>
>
>
> finally, I directly download the 1.0 version Debian package from https://packages.debian.org/wheezy/i386/coccinelle/download
>
>
> -----邮件原件-----
> 发件人: Julia Lawall [mailto:julia.lawall at lip6.fr]
> 发送时间: 2014年2月15日 14:18
> 收件人: 林嘉(程二 福州)
> 抄送: Nicolas Palix; cocci at systeme.lip6.fr
> 主题: Re: 答复: [Cocci] 答复: Fatal error: exception Failure("no python")
>
> On Sat, 15 Feb 2014, 林嘉(程二 福州) wrote:
>
> > 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.
>
> This is not good at all.  But I am not sure why you are using that version.  That is from the old stable version of Debian.  The current stable version is 1.0.0-rc12.
>
> > 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.
>
> Did you run ./configure?  I'm surprised that it owuld let you run make without doing that.  ./configure will normally succeed, but I believe it says at the end what features it managed to find.
>
> > 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...
>
> Coccinelle goes in /usr/local/bin
>
> > 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#
>
> Clearly it has not found python during the configure operation.  Maybe if you rerun configure and save the output in a file, you will find the problem.
>
> julia
>
> >
> >
> > -----邮件原件-----
> > 发件人: 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
> > > support
> > >
> > > 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:
> >
> > http://blog.gmane.org/gmane.comp.version-control.coccinelle
> >
> > julia
> >
> >
> > >
> > > -----邮件原件-----
> > > 发件人: npalix.work at gmail.com [mailto:npalix.work at gmail.com] 代表 Nicolas
> > > Palix
> > > 发送时间: 2014年2月14日 17:51
> > > 收件人: 林嘉(程二 福州)
> > > 抄送: cocci at systeme.lip6.fr
> > > 主题: Re: [Cocci] Fatal error: exception Failure("no python")
> > >
> > > Hi,
> > >
> > > 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
> > > support
> > >
> > > Regards,
> > > --
> > > Nicolas Palix
> > > Tel: +33 4 76 51 46 27
> > > http://lig-membres.imag.fr/palix/
> > > _______________________________________________
> > > Cocci mailing list
> > > Cocci at systeme.lip6.fr
> > > https://systeme.lip6.fr/mailman/listinfo/cocci
> > >
> >
>


More information about the Cocci mailing list