On Mon, Jun 15, 2009 at 6:52 PM, Bruno Haible<[email protected]> 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>
