All of lore.kernel.org
 help / color / mirror / Atom feed
From: linjia@ruijie.com.cn (林嘉(程二 福州))
To: cocci@systeme.lip6.fr
Subject: [Cocci] 答复: 答复:  答复:  Fatal error: exception Failure("no python")
Date: Mon, 17 Feb 2014 01:27:43 +0000	[thread overview]
Message-ID: <041CF35939B5534D851F16C30DD0B8CF727FE569@fzex.ruijie.com.cn> (raw)
In-Reply-To: <alpine.DEB.2.02.1402150713320.1988@localhost6.localdomain6>

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@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
> >
> 

  reply	other threads:[~2014-02-17  1:27 UTC|newest]

Thread overview: 53+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2014-01-02  8:27 [Cocci] hi all, how to match the args in function 林嘉(程二 福州)
     [not found] ` <alpine.DEB.2.02.1401020939060.2182@localhost6.localdomain6>
     [not found]   ` <041CF35939B5534D851F16C30DD0B8CF727F485B@fzex.ruijie.com.cn>
2014-01-02  9:16     ` [Cocci] 答复: " Julia Lawall
     [not found]       ` <041CF35939B5534D851F16C30DD0B8CF727F488A@fzex.ruijie.com.cn>
2014-01-02  9:33         ` [Cocci] 答复: " Julia Lawall
2014-01-02 10:04           ` [Cocci] 答复: " 林嘉(程二 福州)
2014-01-02 10:18             ` Julia Lawall
2014-01-02 12:57               ` [Cocci] 答复: " 林嘉(程二 福州)
2014-01-02 13:20                 ` Julia Lawall
2014-01-03  0:41                   ` [Cocci] 答复: " 林嘉(程二 福州)
2014-01-03  6:09                     ` Julia Lawall
2014-01-21  3:24                       ` [Cocci] how to match this case? 林嘉(程二 福州)
2014-01-21  3:34                         ` Julia Lawall
2014-01-21  3:46                           ` [Cocci] 答复: " 林嘉(程二 福州)
2014-01-21  5:52                           ` 林嘉(程二 福州)
2014-01-21  6:32                             ` Julia Lawall
2014-01-21  6:43                               ` [Cocci] 答复: " 林嘉(程二 福州)
2014-01-21  7:04                                 ` [Cocci] 答复: " 林嘉(程二 福州)
2014-01-21  7:48                                   ` Julia Lawall
2014-01-21  9:11                                     ` [Cocci] infinitly loop in spatch? 林嘉(程二 福州)
2014-01-21  9:22                                       ` Julia Lawall
2014-01-26  7:10                                         ` [Cocci] how to write such matching case? 林嘉(程二 福州)
2014-01-26 11:19                                           ` Julia Lawall
2014-01-27  0:40                                             ` [Cocci] 答复: " 林嘉(程二 福州)
2014-01-27 12:34                                               ` Julia Lawall
2014-01-27  1:34                                             ` 林嘉(程二 福州)
2014-01-27 12:33                                               ` Julia Lawall
2014-01-27 13:55                                                 ` [Cocci] 答复: " 林嘉(程二 福州)
2014-01-27 14:11                                                   ` Peter Senna Tschudin
2014-01-27 16:07                                                     ` Julia Lawall
2014-01-28  2:22                                                     ` [Cocci] 答复: " 林嘉(程二 福州)
2014-01-28  7:24                                                       ` Julia Lawall
2014-02-12  2:34                                                         ` [Cocci] 答复: " 林嘉(程二 福州)
2014-02-12  6:22                                                           ` Julia Lawall
2014-02-14  7:57                                                             ` [Cocci] Fatal error: exception Failure("no python") 林嘉(程二 福州)
2014-02-14  8:56                                                               ` Julia Lawall
2014-02-14 12:39                                                                 ` [Cocci] 答复: " 林嘉(程二 福州)
2014-02-14  9:51                                                               ` [Cocci] " Nicolas Palix
2014-02-14 12:43                                                                 ` [Cocci] 答复: " 林嘉(程二 福州)
2014-02-14 12:58                                                                   ` Julia Lawall
2014-02-15  2:30                                                                     ` [Cocci] 答复: " 林嘉(程二 福州)
2014-02-15  6:18                                                                       ` Julia Lawall
2014-02-17  1:27                                                                         ` 林嘉(程二 福州) [this message]
2014-02-17  9:38                                                                           ` [Cocci] 答复: " Julia Lawall
2014-02-17 12:49                                                                           ` Arie Middelkoop
2014-02-17 12:51                                                                             ` Julia Lawall
2014-02-17  5:45                                                                         ` [Cocci] what is the function of 'position' in SMPL 林嘉(程二 福州)
2014-02-17 13:34                                                                           ` Peter Senna Tschudin
2014-02-18  7:26                                                                             ` [Cocci] 答复: " 林嘉(程二 福州)
2014-02-18  7:33                                                                               ` Julia Lawall
2014-02-18  7:34                                                                               ` Julia Lawall
2014-02-18  7:56                                                                                 ` [Cocci] 答复: " 林嘉(程二 福州)
2014-02-18  9:00                                                                                   ` Julia Lawall
2014-01-21  7:48                                 ` [Cocci] 答复: 答复: how to match this case? Julia Lawall
2014-01-21 16:42                         ` [Cocci] " Julia Lawall

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=041CF35939B5534D851F16C30DD0B8CF727FE569@fzex.ruijie.com.cn \
    --to=linjia@ruijie.com.cn \
    --cc=cocci@systeme.lip6.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.