On 02/09/14 13:28, Niels Möller wrote:
> Alan James <[email protected]> writes:
>
>> Both these programs link to /usr/local/lib/libgmp.so.10
>>
>> $ objdump -T /usr/local/lib/libgmp.so.10 |grep cnd
>> 0000000000027990 g DF .text 0000000000000136 Base
>> __gmpn_addcnd_n
>> 0000000000027ad0 g DF .text 0000000000000136 Base
>> __gmpn_subcnd_n
> And that's an older version of gmp (these symbols were renamed when
> they were added to the public and documented GMP interface).
>
> If you remove this local gmp installation and let the programs link to
> /usr/lib/<triplet>/libgmp.so.10 from the debian package instead, does it
> work better? Alternatively, upgrade the version under /usr/local to
> gmp-6.0.0.
>
> Regards,
> /Niels
>
Thanks again, that works now. I somehow had this still installed.
gmp:
Installed: 5.1.3-1
Candidate: 5.1.3-1
Version table:
*** 5.1.3-1 0
100 /var/lib/dpkg/status
After removing this old package, curl and VirtualBox now link to
/usr/lib/x86_64-linux-gnu/libgmp.so.10 which has the symbols they need.
Alan.
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
