Re: [Cocci] make install broken

2017-10-14 Thread Julia Lawall


On Sat, 14 Oct 2017, SF Markus Elfring wrote:

> >> Which information are you missing from my software surprises?
> > You just showed the error that looks similar to mine.
>
> I have tried another rebuild of the current software out.
>
>
> > You miss the part about how you configured and installed it.
>
> Would you like to take another look at affected implementation details?
>
>
> > And what exact commit you've used.
>
> elfring@Sonne:~/Projekte/Coccinelle/20160205> make distclean && git checkout 
> master && git pull && ./autogen && ./configure && echo "$(./version.sh)" && 
> grep VERSION=1 Makefile.config
> …
> 1.0.6-00335-g6e5973d4
> VERSION=1.0.6-00335-g6e5973d4
> elfring@Sonne:~/Projekte/Coccinelle/20160205> make world
> …
>
>
> Sonne:~ # cd /home/elfring/Projekte/Coccinelle/20160205 && make install
> …
> /usr/bin/install -c -m 755 spatch.opt /usr/local/bin/spatch
> /usr/bin/install -c -m 644 standard.h /usr/local/lib64/coccinelle
> /usr/bin/install -c -m 644 standard.iso /usr/local/lib64/coccinelle
> …
> /usr/bin/install -c -m 644 python/coccilib/*.py \
> /usr/local/lib64/coccinelle/python/coccilib
> …
>
>
> elfring@Sonne:~> /usr/local/bin/spatch --version
> spatch version 1.0.6-00335-g6e5973d4 compiled with OCaml version 4.05.0
> …
>
>
> elfring@Sonne:~/Projekte/Linux/next-patched> /usr/local/bin/spatch 
> ~/Projekte/Coccinelle/janitor/use_seq_putc_or_seq_puts-20161027-a.cocci 
> drivers/staging/irda/net/irlmp.c
> warning: Can't find macro file: /usr/local/bin/../lib/coccinelle/standard.h
> warning: Can't find default iso file: 
> /usr/local/bin/../lib/coccinelle/standard.iso
> Python error: No module named coccilib.elems
>
>
> * How should the directory “lib64” be determined for this use case?
>
> * Do I need to add any symbolic links temporarily?
>
> * Will it help to add an installation test to the software build system?

I think you have left out the most important information, which is your
OS.  I think it is OpenSuse, and I think we have gone through all of these
problems before.

julia___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] make install broken

2017-10-14 Thread SF Markus Elfring
>> Which information are you missing from my software surprises?
> You just showed the error that looks similar to mine.

I have tried another rebuild of the current software out.


> You miss the part about how you configured and installed it.

Would you like to take another look at affected implementation details?


> And what exact commit you've used.

elfring@Sonne:~/Projekte/Coccinelle/20160205> make distclean && git checkout 
master && git pull && ./autogen && ./configure && echo "$(./version.sh)" && 
grep VERSION=1 Makefile.config
…
1.0.6-00335-g6e5973d4
VERSION=1.0.6-00335-g6e5973d4
elfring@Sonne:~/Projekte/Coccinelle/20160205> make world
…


Sonne:~ # cd /home/elfring/Projekte/Coccinelle/20160205 && make install
…
/usr/bin/install -c -m 755 spatch.opt /usr/local/bin/spatch
/usr/bin/install -c -m 644 standard.h /usr/local/lib64/coccinelle
/usr/bin/install -c -m 644 standard.iso /usr/local/lib64/coccinelle
…
/usr/bin/install -c -m 644 python/coccilib/*.py \
/usr/local/lib64/coccinelle/python/coccilib
…


elfring@Sonne:~> /usr/local/bin/spatch --version
spatch version 1.0.6-00335-g6e5973d4 compiled with OCaml version 4.05.0
…


elfring@Sonne:~/Projekte/Linux/next-patched> /usr/local/bin/spatch 
~/Projekte/Coccinelle/janitor/use_seq_putc_or_seq_puts-20161027-a.cocci 
drivers/staging/irda/net/irlmp.c
warning: Can't find macro file: /usr/local/bin/../lib/coccinelle/standard.h
warning: Can't find default iso file: 
/usr/local/bin/../lib/coccinelle/standard.iso
Python error: No module named coccilib.elems


* How should the directory “lib64” be determined for this use case?

* Do I need to add any symbolic links temporarily?

* Will it help to add an installation test to the software build system?


Regards,
Markus
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


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://systeme.lip6.fr/mailman/listinfo/cocci


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 miss the part about how you configured and installed it.

The maintainers are completely informed.


> And what exact commit you've used.

I hope that I am using the published GitHub version mostly.


How do you think about to take another look at any of my previous
clarification requests?

* Further improvements for safer building of the Coccinelle software
  https://systeme.lip6.fr/pipermail/cocci/2017-September/004522.html

* Checking evolution for the build system of the Coccinelle software
  https://systeme.lip6.fr/pipermail/cocci/2017-September/004524.html

Regards,
Markus
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


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 my software surprises?
> You just showed the error that looks similar to mine.
> You miss the part about how you configured and installed it. And what
> exact commit you've used.

It would furthermore be helpful if every message commenting that things
don't work actually include the information about what does not work.
Thierry has been working hard on fixing the problems, and it is hard to
keep track of what has been fixed and what has not.

julia

___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


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 similar to mine.
You miss the part about how you configured and installed it. And what
exact commit you've used.

bye
 michael
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


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/coccinelle/standard.h
>>> warning: Can't find default iso file: 
>>> /usr/local/bin/../lib/coccinelle/standard.iso
>>> Python error: No module named coccilib.elems
>> Correct. It fixes that issue.
> 
> It is nice that the current tool is working for you now as expected.
> 
> I am curious on what I need to change more so that I can report the same
> for my test system.
> Would you like to contribute further ideas?
Do what I did:
Describe the problem in a way that makes it easy to reproduce.

bye
michael
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


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 file: 
>> /usr/local/bin/../lib/coccinelle/standard.iso
>> Python error: No module named coccilib.elems
> Correct. It fixes that issue.

It is nice that the current tool is working for you now as expected.

I am curious on what I need to change more so that I can report the same
for my test system.
Would you like to contribute further ideas?

Regards,
Markus
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] make install broken

2017-10-12 Thread Michael Stefaniuc
On 10/12/2017 05:47 PM, SF Markus Elfring wrote:
>> Yes, but spatch should have resolved the symlink. Anyway, I changed
>> the code to use realpath, which should be more reliable (the code
>> before only resolved symlinks on the executable file, without
>> considering parent directories).
>>
>> Sorry for the wrong commit!
> 
> 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 file: 
> /usr/local/bin/../lib/coccinelle/standard.iso
> Python error: No module named coccilib.elems
Correct. It fixes that issue.

bye
michael

___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] make install broken

2017-10-11 Thread Thierry Martinez
Hello, Michael.

Michael:
> A quick search finds libproc.h on github but that has an Apple copyright
> in it. It's basically this one:
> https://opensource.apple.com/source/xnu/xnu-2422.1.72/libsyscall/wrappers/libproc/libproc.h.auto.html

Oops, sorry. I was confused by this (old) package:
https://pkgs.org/download/libproc-dev

It should be fixed now (by using /proc/self/exe if available, or
the environment variable _).

> my shell (GNU bash, version 4.3.43(1)) does show the executable in $_
> but that is the symlink and not the real path to the executable.

Yes, but spatch should have resolved the symlink. Anyway, I changed
the code to use realpath, which should be more reliable (the code
before only resolved symlinks on the executable file, without
considering parent directories).

Sorry for the wrong commit!
-- 
Thierry.

- Original Message -
> From: "Michael Stefaniuc" <mstef...@mykolab.com>
> To: "Thierry Martinez" <thierry.marti...@inria.fr>
> Cc: cocci@systeme.lip6.fr
> Sent: Wednesday, October 11, 2017 9:26:57 PM
> Subject: Re: [Cocci] make install broken
> 
> Hello Thierry,
> 
> On 10/11/2017 03:28 PM, Thierry Martinez wrote:
> > Michael Stefaniuc:
> >> But it isn't working when I have a symlink to spatch.
> > 
> > This surprises me because this is precisely what 82a6a045 is supposed to
> > fix,
> > and your version 3ba77b3 includes it.
> > 
> > I suppose it is because your shell does not define the environment variable
> > "_" to the path of the running executable.
> my shell (GNU bash, version 4.3.43(1)) does show the executable in $_
> but that is the symlink and not the real path to the executable.
> 
> luna:~$ cd
> luna:~$ echo -e '#!/bin/bash\necho $_' > foo.sh
> luna:~$ chmod a+x foo.sh
> luna:~$ ln -s ../foo.sh bin/foo.sh
> luna:~$ ./foo.sh
> ./foo.sh
> luna:~$ bin/foo.sh
> bin/foo.sh
> luna:~$ foo.sh
> /home/michi/bin/foo.sh
> 
> bye
>   michael
> 
> > 
> > I just pushed on GitHub a more portable way for determining the path of the
> > executable relying on proc_pidpath.
> > 
> > Thank you for the report.
> > 
> 
> 
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] make install broken

2017-10-11 Thread Michael Stefaniuc
Hello Thierry,

On 10/11/2017 03:28 PM, Thierry Martinez wrote:
> Michael Stefaniuc:
>> But it isn't working when I have a symlink to spatch.
> 
> This surprises me because this is precisely what 82a6a045 is supposed to fix,
> and your version 3ba77b3 includes it.
> 
> I suppose it is because your shell does not define the environment variable
> "_" to the path of the running executable.
my shell (GNU bash, version 4.3.43(1)) does show the executable in $_
but that is the symlink and not the real path to the executable.

luna:~$ cd
luna:~$ echo -e '#!/bin/bash\necho $_' > foo.sh
luna:~$ chmod a+x foo.sh
luna:~$ ln -s ../foo.sh bin/foo.sh
luna:~$ ./foo.sh
./foo.sh
luna:~$ bin/foo.sh
bin/foo.sh
luna:~$ foo.sh
/home/michi/bin/foo.sh

bye
michael

> 
> I just pushed on GitHub a more portable way for determining the path of the
> executable relying on proc_pidpath.
> 
> Thank you for the report.
> 

___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] make install broken

2017-10-11 Thread Michael Stefaniuc
Hello Thierry,

On 10/11/2017 03:42 PM, Thierry Martinez wrote:
> I wrote:
>> I just pushed on GitHub a more portable way for determining the path
> of the
> executable relying on proc_pidpath
> 
> I just noticed that you will need the libproc-dev package from your
there is no such thing in Fedora. I found a procps-ng-devel but that
doesn't provide libproc.h.

> distribution to compile (Debian or Ubuntu, name on other distribution
I'm checking Debian but cannot find a libproc there either:
https://packages.debian.org/search?keywords=libproc
The libproc-* is for perl.
There are libprocps packages but the .h files in those seem to match
what Fedora has in procps-ng-devel.

A quick search finds libproc.h on github but that has an Apple copyright
in it. It's basically this one:
https://opensource.apple.com/source/xnu/xnu-2422.1.72/libsyscall/wrappers/libproc/libproc.h.auto.html


> may vary). I will update install.txt and provide a fallback if the
> function is not available (probably by reading /proc/self/exe if it
> exists, otherwise by considering "_" as before).
> 
> Thank you for the report.
> -- 
> Thierry.
> 

bye
micheal
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] make install broken

2017-10-11 Thread Thierry Martinez
I wrote:> I just pushed on GitHub a more portable way for determining the path of theexecutable relying on proc_pidpathI just noticed that you will need the libproc-dev package from your distribution to compile (Debian or Ubuntu, name on other distribution may vary). I will update install.txt and provide a fallback if the function is not available (probably by reading /proc/self/exe if it exists, otherwise by considering "_" as before).Thank you for the report.-- Thierry.___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] make install broken

2017-10-11 Thread Thierry Martinez
Michael Stefaniuc:
> But it isn't working when I have a symlink to spatch.

This surprises me because this is precisely what 82a6a045 is supposed to fix,
and your version 3ba77b3 includes it.

I suppose it is because your shell does not define the environment variable
"_" to the path of the running executable.

I just pushed on GitHub a more portable way for determining the path of the
executable relying on proc_pidpath.

Thank you for the report.
-- 
Thierry Martinez.

- Original Message -
> From: "Michael Stefaniuc" <mstef...@mykolab.com>
> To: "Julia Lawall" <julia.law...@lip6.fr>
> Cc: cocci@systeme.lip6.fr
> Sent: Friday, October 6, 2017 9:03:44 PM
> Subject: Re: [Cocci] make install broken
> 
> On 10/06/2017 04:04 PM, Julia Lawall wrote:
> > The makefile issues are perhaps now resolved.
> Looks better as the missing stuff is installed.
> But it isn't working when I have a symlink to spatch.
> 
> My workflow:
> 
> VERSION=`git describe`
> ./configure --prefix=/usr/local/packages/coccinelle-$VERSION
> make
> make install
> cd /usr/local/bin
> ln -sf ../packages/coccinelle-$VERSION/bin/* .
> 
> spatch foo.cocci foo.c
> warning: Can't find macro file: ./../lib/coccinelle/standard.h
> init_defs: ./macros
> warning: Can't find default iso file: ./../lib/coccinelle/standard.iso
> Python error: No module named 'coccilib'
> 
> Using an absolute symbolic link doesn't works either.
> Using an absolute PATH to spatch makes it work:
> /usr/local/packages/coccinelle-1.0.6-328-g3ba77b3/bin/spatch foo.cocci foo.c
> 
> coccinelle-1.0.6-179-g058cb06 is the last version that I have compiled
> and works with the symlinks.
> 
> No clue is there is something similar in OCaml but under perl there is
> the handy FindBin module (FindBin::RealBin) to find the real location of
> the binary.
> 
> bye
>   michael
> 
> > 
> > julia
> > 
> > On Tue, 3 Oct 2017, Michael Stefaniuc wrote:
> > 
> >> Hello,
> >>
> >> while my Makefile patch lets make install finish a lot of stuff is
> >> missing:
> >> spatch foo.cocci foo.c
> >> warning: Can't find macro file: ./../lib/coccinelle/standard.h
> >> warning: Can't find default iso file: ./../lib/coccinelle/standard.iso
> >> Python error: No module named 'coccilib'
> >>
> >> Only this stuff gets installed:
> >> find /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spatch
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spgen
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle/dllpyml_stubs.so
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d/spatch
> >>
> >>
> >> bye
> >>  michael
> >> ___
> >> Cocci mailing list
> >> Cocci@systeme.lip6.fr
> >> https://systeme.lip6.fr/mailman/listinfo/cocci
> >>
> 
> ___
> Cocci mailing list
> Cocci@systeme.lip6.fr
> https://systeme.lip6.fr/mailman/listinfo/cocci
> 
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] make install broken

2017-10-06 Thread Julia Lawall


On Fri, 6 Oct 2017, Michael Stefaniuc wrote:

> On 10/06/2017 04:04 PM, Julia Lawall wrote:
> > The makefile issues are perhaps now resolved.
> Looks better as the missing stuff is installed.
> But it isn't working when I have a symlink to spatch.
>
> My workflow:
>
> VERSION=`git describe`
> ./configure --prefix=/usr/local/packages/coccinelle-$VERSION
> make
> make install
> cd /usr/local/bin
> ln -sf ../packages/coccinelle-$VERSION/bin/* .
>
> spatch foo.cocci foo.c
> warning: Can't find macro file: ./../lib/coccinelle/standard.h
> init_defs: ./macros
> warning: Can't find default iso file: ./../lib/coccinelle/standard.iso
> Python error: No module named 'coccilib'
>
> Using an absolute symbolic link doesn't works either.
> Using an absolute PATH to spatch makes it work:
> /usr/local/packages/coccinelle-1.0.6-328-g3ba77b3/bin/spatch foo.cocci foo.c
>
> coccinelle-1.0.6-179-g058cb06 is the last version that I have compiled
> and works with the symlinks.
>
> No clue is there is something similar in OCaml but under perl there is
> the handy FindBin module (FindBin::RealBin) to find the real location of
> the binary.

Thanks for the feedback.  We will try to resolve it as soon as possible.

julia

>
> bye
>   michael
>
> >
> > julia
> >
> > On Tue, 3 Oct 2017, Michael Stefaniuc wrote:
> >
> >> Hello,
> >>
> >> while my Makefile patch lets make install finish a lot of stuff is missing:
> >> spatch foo.cocci foo.c
> >> warning: Can't find macro file: ./../lib/coccinelle/standard.h
> >> warning: Can't find default iso file: ./../lib/coccinelle/standard.iso
> >> Python error: No module named 'coccilib'
> >>
> >> Only this stuff gets installed:
> >> find /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spatch
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spgen
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle/dllpyml_stubs.so
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d
> >> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d/spatch
> >>
> >>
> >> bye
> >>  michael
> >> ___
> >> Cocci mailing list
> >> Cocci@systeme.lip6.fr
> >> https://systeme.lip6.fr/mailman/listinfo/cocci
> >>
>
>
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] make install broken

2017-10-06 Thread Michael Stefaniuc
On 10/06/2017 04:04 PM, Julia Lawall wrote:
> The makefile issues are perhaps now resolved.
Looks better as the missing stuff is installed.
But it isn't working when I have a symlink to spatch.

My workflow:

VERSION=`git describe`
./configure --prefix=/usr/local/packages/coccinelle-$VERSION
make
make install
cd /usr/local/bin
ln -sf ../packages/coccinelle-$VERSION/bin/* .

spatch foo.cocci foo.c
warning: Can't find macro file: ./../lib/coccinelle/standard.h
init_defs: ./macros
warning: Can't find default iso file: ./../lib/coccinelle/standard.iso
Python error: No module named 'coccilib'

Using an absolute symbolic link doesn't works either.
Using an absolute PATH to spatch makes it work:
/usr/local/packages/coccinelle-1.0.6-328-g3ba77b3/bin/spatch foo.cocci foo.c

coccinelle-1.0.6-179-g058cb06 is the last version that I have compiled
and works with the symlinks.

No clue is there is something similar in OCaml but under perl there is
the handy FindBin module (FindBin::RealBin) to find the real location of
the binary.

bye
michael

> 
> julia
> 
> On Tue, 3 Oct 2017, Michael Stefaniuc wrote:
> 
>> Hello,
>>
>> while my Makefile patch lets make install finish a lot of stuff is missing:
>> spatch foo.cocci foo.c
>> warning: Can't find macro file: ./../lib/coccinelle/standard.h
>> warning: Can't find default iso file: ./../lib/coccinelle/standard.iso
>> Python error: No module named 'coccilib'
>>
>> Only this stuff gets installed:
>> find /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
>> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
>> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin
>> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spatch
>> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spgen
>> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib
>> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle
>> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle/dllpyml_stubs.so
>> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc
>> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d
>> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d/spatch
>>
>>
>> bye
>>  michael
>> ___
>> Cocci mailing list
>> Cocci@systeme.lip6.fr
>> https://systeme.lip6.fr/mailman/listinfo/cocci
>>

___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] make install broken

2017-10-06 Thread Julia Lawall
> 3. How do you think about to include additional build rules into
>the main make script?
>https://github.com/coccinelle/coccinelle/issues/110

What build rules are you asking for?  I can't understand the relation
between your question and the link, which is about dependencies.  The
comment in the link is furthermore entirely out of date, since the
approach to dependencies has been completely reimplemented.

julia
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] make install broken

2017-10-03 Thread Julia Lawall


On Tue, 3 Oct 2017, Michael Stefaniuc wrote:

> Hello,
>
> while my Makefile patch lets make install finish a lot of stuff is missing:
> spatch foo.cocci foo.c
> warning: Can't find macro file: ./../lib/coccinelle/standard.h
> warning: Can't find default iso file: ./../lib/coccinelle/standard.iso
> Python error: No module named 'coccilib'
>
> Only this stuff gets installed:
> find /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spatch
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spgen
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle/dllpyml_stubs.so
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d
> /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d/spatch

Thanks for the various feedback.  Thierry should be able to take care of
it tomorrow.

julia
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


[Cocci] make install broken

2017-10-03 Thread Michael Stefaniuc
Hello,

while my Makefile patch lets make install finish a lot of stuff is missing:
spatch foo.cocci foo.c
warning: Can't find macro file: ./../lib/coccinelle/standard.h
warning: Can't find default iso file: ./../lib/coccinelle/standard.iso
Python error: No module named 'coccilib'

Only this stuff gets installed:
find /usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
/usr/local/packages/coccinelle-1.0.6-318-g0bf5304/
/usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin
/usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spatch
/usr/local/packages/coccinelle-1.0.6-318-g0bf5304/bin/spgen
/usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib
/usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle
/usr/local/packages/coccinelle-1.0.6-318-g0bf5304/lib/coccinelle/dllpyml_stubs.so
/usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc
/usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d
/usr/local/packages/coccinelle-1.0.6-318-g0bf5304/etc/bash_completion.d/spatch


bye
 michael
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci