Re: [Outreachy kernel] Re: Problem with coccinelle.

[Vaishali Thakkar <vthakkar1994@gmail.com>]

On Tue, Feb 28, 2017 at 4:08 PM, Varsha Rao <rvarsha016@gmail.com> wrote:
>
>> This seems likely fine.  How did you get to this situation?  Did you
>> install it from your package manager or did you compile it on your
>> machine.  When you run spatch, does it work?
>>
>    I have installed using package manager.
>    when I run spatch, it gives following errors:
>
>    spatch --sp-file ret.cocci --no-includes
> ~/git/kernels/staging/drivers/staging/most/hdm-dim2/dim2_sysfs.c  > ret.out
>
>   init_defs_builtins: /usr/lib64/coccinelle/standard.h
>   minus: parse error:
>   File "ret.cocci", line 10, column 0, charpos = 80
>   around = '',
>   whole content =

The file[ret.cocci] sent by you works perfectly fine for me without any parsing
error. Are you sure there is nothing else in the same file [ret.cocci]?

Parsing error is shown at the line 10 and file has 9 lines. Also, in your
first mail you seemed to have something else as an error. [Exception
failure]

>  [varsha@varsha coccinelle]$ spatch --sp-file ret.cocci --no-includes
> ~/git/kernels/staging/drivers/staging/most/hdm-dim2/dim2_sysfs.c  > ret.out
>  init_defs_builtins: /usr/lib64/coccinelle/standard.h
>  HANDLING:
> /home/varsha/git/kernels/staging/drivers/staging/most/hdm-dim2/dim2_sysfs.c

If you have installed coccinelle from package manager then what is under
coccinelle directory? Have you cloned coccinelle code and have tried to
install it manually as well?

>  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 visit
> https://groups.google.com/d/msgid/outreachy-kernel/68311bc4-09a6-4baf-ab04-b0ce5916c4c9%40googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.



-- 
Vaishali
http://vaishalithakkar.in/