Bug#801117: 4ti2: libzsolve.so is underlinked

[Graham Inggs]

Source: 4ti2
Version: 1.6.2+ds1-1
Tags: patch


Hi Maintainer

While investigating a FTBFS in Ubuntu [1], I found the following lines 
in the build logs of 4ti2:

dpkg-shlibdeps: warning: 
debian/4ti2/usr/lib/i386-linux-gnu/4ti2/lib/libzsolve.so contains an 
unresolvable reference to symbol __gmpz_init_set_ui: it's probably a plugin
dpkg-shlibdeps: warning: 22 other similar warnings have been skipped 
(use -v to see them all)

The attached patch links libzsolve.so with libgmpxx and libgmp and 
allowed 4ti2 to build on all architectures in Ubuntu [2].

Regards
Graham


[1] https://launchpad.net/ubuntu/+source/4ti2/1.6.2+ds1-1
[2] https://launchpad.net/ubuntu/+source/4ti2/1.6.2+ds1-1ubuntu1

-------------- next part --------------
A non-text attachment was scrubbed...
Name: fix-underlinking.patch
Type: text/x-diff
Size: 944 bytes
Desc: not available
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20151006/d48afcab/attachment.patch>