Alan James <a...@rangercomputers.com> 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 -- Niels Möller. PGP-encrypted email is preferred. Keyid C0B98E26. Internet email is subject to wholesale government surveillance. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
