broken "make check" on Linux/ppc64 (linking problem)
Vincent Lefevre
vincent at vinc17.org
Mon Sep 17 15:21:32 CEST 2007
On Linux/ppc64, "make check" gives:
make[4]: Entering directory `/home/vlefevre/software/gmp-4.2.2/tests/mpz'
[...]
/bin/sh: line 4: 15339 Segmentation fault (core dumped) ${dir}$tst
FAIL: t-set_d
The segfault occurs on d = 2.9387358770557187699e-39.
In fact, the cause is that t-set_d uses GMP 4.2.1 (installed in
/home/vlefevre/ppc64-suse-linux/lib listed in my $LD_LIBRARY_PATH),
where there was a bug in mpz/set_d.c. If I add <build>/.libs in front
of my $LD_LIBRARY_PATH or if I unset LD_LIBRARY_PATH, the segfault no
longer occurs. I wonder if this is due to a libtool bug or something
else.
The test program is linked in the following way:
gcc -m64 -O0 -g -o .libs/t-set_d t-set_d.o ../../tests/.libs/libtests.a /home/vlefevre/software/gmp-4.2.2/.libs/libgmp.so ../../.libs/libgmp.so -Wl,--rpath -Wl,/home/vlefevre/ppc64-suse-linux/lib
I've attached the config.log (compressed).
BTW, it would be a good idea to add a test program that checks that
the right GMP library version is tested. We do this in MPFR.
--
Vincent Lefèvre <vincent at vinc17.org> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log.gz
Type: application/x-gunzip
Size: 16850 bytes
Desc: not available
Url : http://gmplib.org/list-archives/gmp-bugs/attachments/20070917/5a8f822c/attachment.bin
More information about the gmp-bugs
mailing list