Re: gl_LIBSIGSEGV is broken

[Sam Steingold]

On Mon, Jun 15, 2009 at 6:52 PM, Bruno Haible<address@hidden> wrote:
> Sam Steingold wrote:
>> I just upgraded clisp to libsigsegv.m4 serial 4
>
> Did you do a "make distclean; ./configure" after doing so?

yes, of course.

>> and now LIBSIGSEGV is not set right:
>>
>> config.status:
>>
>> before:
>> $ grep -i sigsegv config.status
>> S["LIBSIGSEGV"]="-lsigsegv"
>> S["LTLIBSIGSEGV"]="-lsigsegv"
>> D["HAVE_LIBSIGSEGV"]=" 1"
>> D["HAVE_LIBSIGSEGV"]=" 1"
>>
>> after:
>> $ grep -i sigsegv config.status
>> S["LIBSIGSEGV_PREFIX"]=""
>> S["LTLIBSIGSEGV"]=""
>> S["LIBSIGSEGV"]=""
>> S["HAVE_LIBSIGSEGV"]="yes"
>> D["HAVE_LIBSIGSEGV"]=" 1"
>> D["HAVE_LIBSIGSEGV"]=" 1"
>>
>> libsigsegv is installed system-wide (in /usr).
>
> Can you tell something about the kind of platform (OS, CPU, gcc target)?

Linux nyc-qws-005 2.6.29.2jane3 #1 SMP Mon May 4 12:42:56 EDT 2009
x86_64 x86_64 x86_64 GNU/Linux

> Also can you please show the result of
>
>  $ ls -l /usr/include/sigsegv* /usr/lib*/libsigsegv*


 8 -rw-r--r-- 1 root root 5802 Sep 17  2008 /usr/include/sigsegv-x86_64.h
 4 -rw-r--r-- 1 root root  733 Aug 15  2008 /usr/include/sigsegv.h
 0 lrwxrwxrwx 1 root root   19 Jun 15 17:35 /usr/lib64/libsigsegv.so
-> libsigsegv.so.0.0.0*
 0 lrwxrwxrwx 1 root root   19 Jun 15 17:34 /usr/lib64/libsigsegv.so.0
-> libsigsegv.so.0.0.0*
12 -rwxr-xr-x 1 root root 9440 Sep 17  2008 /usr/lib64/libsigsegv.so.0.0.0*


-- 
Sam Steingold <http://sds.podval.org>