broken "make check" on Linux/ppc64 (linking problem)

Vincent Lefevre vincent at
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

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/ ../../.libs/  -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> - Web: <>
100% accessible validated (X)HTML - 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 : 

More information about the gmp-bugs mailing list