Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > linux.kernel > #1307640

Re: How to get the coccicheck error from patch

From Laxman Dewangan <ldewangan@nvidia.com>
Newsgroups linux.kernel
Subject Re: How to get the coccicheck error from patch
Date 2016-01-12 18:10 +0100
Message-ID <qQaCd-3TN-3@gated-at.bofh.it> (permalink)
References (3 earlier) <qQ7O3-1Z5-55@gated-at.bofh.it> <qQ7O3-1Z5-57@gated-at.bofh.it> <qQ7O3-1Z5-59@gated-at.bofh.it> <qQ7O3-1Z5-47@gated-at.bofh.it> <qQ9Zy-3q9-41@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


On Tuesday 12 January 2016 09:59 PM, Julia Lawall wrote:
>
> On Tue, 12 Jan 2016, Laxman Dewangan wrote:
>
>> Nicolas,
>>
>> When I run the commands coccicheck for the file with of_table.cocci, it
>> reports error as:
>>
>> spatch --sp-file ./scripts/coccinelle/misc/of_table.cocci
>> drivers/rtc/rtc-max77xxx.c --o tmp.cinit_defs_builtins:
>> /usr/share/coccinelle/standard.h
>> Fatal error: exception Failure("unexpected struct/union type name")
>>
>> ldewangan@ldewanganubuntu-System-Product-Name:~/upstream/linux-next/linux-next$
>> spatch -D report --very-quiet --no-show-diff --cocci-file
>> ./scripts/coccinelle/misc/of_table.cocci drivers/rtc/rtc-max77xxx.c
>>
>> Fatal error: exception Failure("unexpected struct/union type name")
> Hmm, actually, it might be your version of Coccinelle.  What version are
> you using?  The latest is 1.0.4, which you can get from github.
>
> julia
>

I have following version for ubuntu.
spatch --version
spatch version 1.0.0-rc10 with Python support and with PCRE support
ldewangan@ldewanganubuntu-System-Product-Name:~$ sudo apt-get install 
coccinelle
Reading package lists... Done
Building dependency tree
Reading state information... Done
coccinelle is already the newest version.
0 upgraded, 0 newly installed, 0 to remove and 753 not upgraded.
ldewangan@ldewanganubuntu-System-Product-Name:~$



The page is not accessible.
http://cocci.ekstranet.diku.dk/wiki/doku.php

I got the coccinellery from git hub

git clone https://github.com/coccinelle/coccinellery.git


Now how do I build for ubuntu and install it?

Per documentation, it is
./cofigure
make


But I did not see this.

Back to linux.kernel | Previous | NextPrevious in thread | Find similar | Unroll thread


Thread

Re: How to get the coccicheck error from patch Laxman Dewangan <ldewangan@nvidia.com> - 2016-01-12 15:10 +0100
  Re: How to get the coccicheck error from patch Julia Lawall <julia.lawall@lip6.fr> - 2016-01-12 17:30 +0100
    Re: How to get the coccicheck error from patch Julia Lawall <julia.lawall@lip6.fr> - 2016-01-12 18:10 +0100
    Re: How to get the coccicheck error from patch Laxman Dewangan <ldewangan@nvidia.com> - 2016-01-12 18:10 +0100

csiph-web