[Cocci] make install broken

Michael Stefaniuc mstefani at mykolab.com
Thu Oct 12 21:22:32 CEST 2017

Thanks Thierry,

On 10/12/2017 01:43 AM, Thierry Martinez wrote:
> 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).
the code builds, installs and runs!
luna:~$ spatch --version
spatch version 1.0.6-00335-g6e5973d compiled with OCaml version 4.02.3
Flags passed to the configure script:
--with-python=/usr/bin/python3 --with-menhir=/usr/bin/menhir
Python scripting support: yes
Syntax of regular expresssions: PCRE

thanks again

More information about the Cocci mailing list