Re: [Cocci] make install broken

2017-10-13 Thread SF Markus Elfring
> Do what I did: > Describe the problem in a way that makes it easy to reproduce. I find that did this already, didn't I? Which information are you missing from my software surprises? Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https:/

Re: [Cocci] make install broken

2017-10-13 Thread SF Markus Elfring
>> I find that did this already, didn't I? > No , you didn't. I can try to repeat some more technical details. >> Which information are you missing from my software surprises? > You just showed the error that looks similar to mine. Yes. - I submitted only a kind of “ping” yesterday. > You mis

Re: [Cocci] make install broken

2017-10-13 Thread Julia Lawall
On Fri, 13 Oct 2017, Michael Stefaniuc wrote: > On 10/13/2017 09:51 PM, SF Markus Elfring wrote: > >> Do what I did: > >> Describe the problem in a way that makes it easy to reproduce. > > > > I find that did this already, didn't I? > No , you didn't. > > > Which information are you missing from

Re: [Cocci] make install broken

2017-10-13 Thread Michael Stefaniuc
On 10/13/2017 09:51 PM, SF Markus Elfring wrote: >> Do what I did: >> Describe the problem in a way that makes it easy to reproduce. > > I find that did this already, didn't I? No , you didn't. > Which information are you missing from my software surprises? You just showed the error that looks si

Re: [Cocci] make install broken

2017-10-13 Thread Michael Stefaniuc
On 10/13/2017 09:51 AM, SF Markus Elfring wrote: >>> Is this software development also relevant for the following error messages? >>> >>> elfring@Sonne:~/Projekte/Linux/next-patched> spatch >>> ~/Projekte/Coccinelle/janitor/….cocci ….c >>> warning: Can't find macro file: /usr/local/bin/../lib/cocc

Re: [Cocci] How to remove unused global variables by using Coccinelle?

2017-10-13 Thread 杨已彪
> 在 2017年10月13日，下午11:12，杨已彪 写道： > > >> 在 2017年10月13日，下午10:09，杨已彪 > > 写道： >> >> Thank you very much. It works. >> >>> 在 2017年10月13日，下午9:59，Julia Lawall >> > 写道： >>> >>> >>> On Fri, 13 Oct 2017, 杨已彪 wrote: >>> Hello,

Re: [Cocci] How to remove unused global variables by using Coccinelle?

2017-10-13 Thread 杨已彪
> 在 2017年10月13日，下午10:09，杨已彪 写道： > > Thank you very much. It works. > >> 在 2017年10月13日，下午9:59，Julia Lawall > > 写道： >> >> >> On Fri, 13 Oct 2017, 杨已彪 wrote: >> >>> Hello, >>> >>> Thanks for this awesome tool - Coccinelle. >>> >>> Currently, I am trying to use Coc

Re: [Cocci] How to remove unused global variables by using Coccinelle?

2017-10-13 Thread 杨已彪
Thank you very much. It works. > 在 2017年10月13日，下午9:59，Julia Lawall 写道： > > > On Fri, 13 Oct 2017, 杨已彪 wrote: > >> Hello, >> >> Thanks for this awesome tool - Coccinelle. >> >> Currently, I am trying to use Coccinelle to remove unused global variables >> in C source code. While applying the

Re: [Cocci] How to remove unused global variables by using Coccinelle?

2017-10-13 Thread Julia Lawall
On Fri, 13 Oct 2017, 杨已彪 wrote: > Hello, > > Thanks for this awesome tool - Coccinelle. > > Currently, I am trying to use Coccinelle to remove unused global variables in > C source code. While applying the following remove.cocci to test.c , it does > not work. > > Can anyone help? > > Thanks.

[Cocci] How to remove unused global variables by using Coccinelle?

2017-10-13 Thread 杨已彪
Hello, Thanks for this awesome tool - Coccinelle. Currently, I am trying to use Coccinelle to remove unused global variables in C source code. While applying the following remove.cocci to test.c , it does not work. Can anyone help? Thanks. --- Yibiao $ spatch --version spatch version 1.0.6

Re: [Cocci] make install broken

2017-10-13 Thread SF Markus Elfring
>> Is this software development also relevant for the following error messages? >> >> elfring@Sonne:~/Projekte/Linux/next-patched> spatch >> ~/Projekte/Coccinelle/janitor/….cocci ….c >> warning: Can't find macro file: /usr/local/bin/../lib/coccinelle/standard.h >> warning: Can't find default iso f