I am sure I have installed gmp6.0.0: I have done it right before trying
to install nettle.
However, this is what I get with your tests
zaamus@zaamuspc:/usr/local/itt/idl70/lib$ dpkg -S
/usr/lib/i386-linux-gnu/libgmp.so.10
libgmp10: /usr/lib/i386-linux-gnu/libgmp.so.10
zaamus@zaamuspc:/usr/local/itt/idl70/lib$ dpkg -l libgmp10
Desired=Unknown/Install/Remove/Purge/Hold
|
Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend
|/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad)
||/ Nome Versione Descrizione
+++-=====================-=====================-==========================================================
ii libgmp10 2:5.0.2+dfsg-2ubuntu1 Multiprecision
arithmetic library
Il 2014-11-09 20:12 [email protected] ha scritto:
braga <[email protected]> writes:
Dear Niels, thanks for your immediate answer. Here is what I found on
3 of the failing tests
Good.
zaamus@zaamuspc:~/Dependencies/nettle-2.7.1$ LD_LIBRARY_PATH=.lib ldd
testsuite/ecc-mul-g-test
linux-gate.so.1 => (0x40022000)
libhogweed.so.2 => .lib/libhogweed.so.2 (0x40026000)
libnettle.so.4 => .lib/libnettle.so.4 (0x40054000)
libgmp.so.10 => /usr/lib/i386-linux-gnu/libgmp.so.10 (0x400a5000)
libc.so.6 => /lib/i386-linux-gnu/libc.so.6 (0x40124000)
/lib/ld-linux.so.2 (0x40000000)
Is the file /usr/lib/i386-linux-gnu/libgmp.so.10 really gmp-6.0? I
suspect it's an older version. On my system (which is x86_64, not i386
like yours), /usr/lib/x86_64-linux-gnu/libgmp.so.10 is a symlink to
/usr/lib/x86_64-linux-gnu/libgmp.so.10.2.0, and if I examine the symbol
table, I get
$ objdump -tT /usr/lib/x86_64-linux-gnu/libgmp.so.10 |grep limbs
0000000000020210 g DF .text 0000000000000015 Base
__gmpz_limbs_write
00000000000201a0 g DF .text 000000000000003c Base
__gmpz_limbs_finish
000000000001bd40 g DF .text 0000000000000253 Base
__gmpz_prodlimbs
0000000000020200 g DF .text 0000000000000005 Base
__gmpz_limbs_read
00000000000201e0 g DF .text 0000000000000015 Base
__gmpz_limbs_modify
Do you have those symbols?
I think you can double check with
dpkg -S /usr/lib/i386-linux-gnu/libgmp.so.10
(should give package name libgmp10), and check the version with
dpkg -l libgmp10
In my (debian) system the package versino is "2:6.0.0+dfsg-6".
Regards,
/Niels
--
Vittorio Francesco Braga
PhD student in Tor Vergata University of Rome
Mobile: +393203753307, Office (PhD room): +390672594868
_______________________________________________
nettle-bugs mailing list
[email protected]
http://lists.lysator.liu.se/mailman/listinfo/nettle-bugs
