All of lore.kernel.org
 help / color / mirror / Atom feed
From: Julia Lawall <julia.lawall@lip6.fr>
To: Varsha Rao <rvarsha016@gmail.com>
Cc: outreachy-kernel <outreachy-kernel@googlegroups.com>
Subject: Re: [Outreachy kernel] Problem with coccinelle.
Date: Tue, 28 Feb 2017 07:51:22 +0100 (CET)	[thread overview]
Message-ID: <alpine.DEB.2.20.1702280749480.2078@hadrien> (raw)
In-Reply-To: <97a8b35a-3899-436b-8455-6fdd5d3a6ccd@googlegroups.com>

[-- Attachment #1: Type: text/plain, Size: 1823 bytes --]



On Mon, 27 Feb 2017, Varsha Rao wrote:

>
> Hello,
>
> I am getting errors when I run the following command
>
> spatch --sp-file coccinelle/ret.cocci --no-includes --dir
> git/kernels/staging/drivers/staging/most/hdm-dim2/dim2_sysfs.c  > ret.out
>
> and the error which i got is:
>
> init_defs_builtins: /usr/lib64/coccinelle/standard.h
> Fatal error: exception Failure("unexpected code before the first rule: [0;
> (68, (\"\", [0], [0]))]\n")

Could you send your file ret.cocci?  Maybe try running Coccinelle from the
directory in which ret.cocci is found.  Actually, if you are running it on
only a single file, then you don't need the --dir option.  That is to
indicate that you are using a complete directory,

julia


> I have installed coccinelle successfully.
>
> Packages which were installed,
> coccinelle                   1.0.5-2.fc25
>  ocaml                        4.02.3-3.fc25
>  ocaml-compiler-libs     4.02.3-3.fc25 
>  ocaml-findlib               1.6.2-1.fc25     
>  ocaml-pcre                 7.1.5-3.fc24        
>  ocaml-runtime            4.02.3-3.fc25      
>
> I am using fedora 25 and kernel release is 4.9.11-200.fc25.x86_64.
>
> Thanks,
> Varsha
>
> --
> You received this message because you are subscribed to the Google Groups
> "outreachy-kernel" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to outreachy-kernel+unsubscribe@googlegroups.com.
> To post to this group, send email to outreachy-kernel@googlegroups.com.
> To view this discussion on the web visithttps://groups.google.com/d/msgid/outreachy-kernel/97a8b35a-3899-436b-8455-
> 6fdd5d3a6ccd%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>
>

  parent reply	other threads:[~2017-02-28  6:51 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-02-28  2:43 Problem with coccinelle Varsha Rao
2017-02-28  2:50 ` Varsha Rao
2017-02-28  6:48   ` [Outreachy kernel] " Julia Lawall
2017-02-28 10:38     ` Varsha Rao
2017-02-28 12:28       ` Vaishali Thakkar
2017-02-28 13:14         ` Julia Lawall
2017-02-28 13:37         ` Varsha Rao
2017-02-28  6:51 ` Julia Lawall [this message]
2017-02-28 10:41   ` [Outreachy kernel] " Varsha Rao
2017-02-28 13:53 ` Varsha Rao
2017-02-28 13:56   ` [Outreachy kernel] " Julia Lawall
2017-02-28 14:17     ` Varsha Rao
2017-02-28 14:38       ` Varsha Rao
2017-02-28 14:40         ` Julia Lawall
2017-02-28 14:39       ` Julia Lawall
2017-02-28 13:59   ` Vaishali Thakkar

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=alpine.DEB.2.20.1702280749480.2078@hadrien \
    --to=julia.lawall@lip6.fr \
    --cc=outreachy-kernel@googlegroups.com \
    --cc=rvarsha016@gmail.com \
    /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.