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 nisse@lysator.liu.se ha scritto:
braga Vittorio.Braga@roma2.infn.it 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