From: Randy Dunlap <rdunlap@infradead.org>
To: Julia Lawall <julia.lawall@inria.fr>
Cc: LKML <linux-kernel@vger.kernel.org>, cocci@systeme.lip6.fr
Subject: Re: [Cocci] coccinelle issues
Date: Sun, 14 Jun 2020 07:40:15 -0700 [thread overview]
Message-ID: <dadeaa1d-1146-c4b1-e757-14e9791dac59@infradead.org> (raw)
In-Reply-To: <alpine.DEB.2.22.394.2006140932490.2849@hadrien>
On 6/14/20 12:39 AM, Julia Lawall wrote:
>
>
> On Sat, 13 Jun 2020, Randy Dunlap wrote:
>
>> Hi,
>>
>> OK, I've not used Coccinelle and now I am trying to use it.
>> It seems that I am having a few issues.
>> The primary one is when I run spatch (via 'make coccicheck' in
>> the kernel source tree), it tells me:
>>
>> Python error: No module named coccilib.elems
>>
>> I do see "elems.py" in /usr/local/lib64/coccinelle/python/coccilib.
>>
>> I am using coccinelle-master downloaded from github on
>> Friday June 12, 2020.
>>
>>
>> I have also made the following notes while building/installing it.
>>
>>
>> Note1: The latest coccinelle tarball is not actually available
>> at the coccinelle home page although the kernel documentation says it is.
>
> Yes, I'm aware of this problem. We're not able to update the home page at
> the moment. This problem is being worked on.
>
>>
>> Note2: https://github.com/coccinelle/coccinelle/blob/master/install.txt
>> says that 'spatch' is a script, but it seems to be a binary executable
>> file.
>
> Actually, it is a script, and the fact that you say it is a binary may be
> the reason for your python problem. Normally there is a script
> (scripts/spatch) that make install puts in place that refers back to where
> your Coccinelle is installed.
Yes, I saw scripts/spatch, but that script is not what is installed in
/usr/local/bin.
(see more below)
>> Note3: https://github.com/coccinelle/coccinelle/blob/master/install.txt
>> probably should say to use 'sudo make install' instead of just
>> 'make install', just like 'coccinelle.rst' file in the kernel tree says.
>
> OK. A lot of documentation for a lot of projects seems to omit the sudo,
> but I have indeed never understood why.
>
> Maybe try again with make distclean, ./autogen, ./configure, sudo make
> install?
OK, I did all of those.
Is this expected?
$ ./autogen
cat: VERSION: No such file or directory
cat: VERSION: No such file or directory
cat: VERSION: No such file or directory
cat: VERSION: No such file or directory
cat: VERSION: No such file or directory
cat: VERSION: No such file or directory
cat: VERSION: No such file or directory
cat: VERSION: No such file or directory
cat: VERSION: No such file or directory
cat: VERSION: No such file or directory
cat: VERSION: No such file or directory
spatch is installed in /usr/local/bin/spatch:
$ ll /usr/local/bin/spatch
-rwxr-xr-x 1 root root 15547736 Jun 14 07:32 /usr/local/bin/spatch*
$ file /usr/local/bin/spatch
/usr/local/bin/spatch: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/l, BuildID[sha1]=2b658c12a1a49deae24010b71d22d262988ce041, for GNU/Linux 3.2.0, with debug_info, not stripped
I still get this runtime error:
Python error: No module named coccilib.elems
--
~Randy
next prev parent reply other threads:[~2020-06-14 14:40 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-14 4:07 coccinelle issues Randy Dunlap
2020-06-14 7:39 ` [Cocci] " Julia Lawall
2020-06-14 14:40 ` Randy Dunlap [this message]
2020-06-14 15:20 ` Julia Lawall
2020-06-14 16:12 Markus Elfring
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=dadeaa1d-1146-c4b1-e757-14e9791dac59@infradead.org \
--to=rdunlap@infradead.org \
--cc=cocci@systeme.lip6.fr \
--cc=julia.lawall@inria.fr \
--cc=linux-kernel@vger.kernel.org \
/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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).