[Pkg-scicomp-devel] Bug#717545: libgmp3c2: Missing in wheezy, which causes some 3rd party programs to fail

[Joachim Breitner]

Hi,

indeed the GHC runtime links with gmp, so every Haskell binary built
needs a compatible version of the library:

$ ldd dailystripsformatter
	linux-gate.so.1 =>  (0xf77cd000)
	librt.so.1 => /lib/i386-linux-gnu/i686/cmov/librt.so.1 (0xf77b5000)
	libutil.so.1 => /lib/i386-linux-gnu/i686/cmov/libutil.so.1 (0xf77b1000)
	libdl.so.2 => /lib/i386-linux-gnu/i686/cmov/libdl.so.2 (0xf77ac000)
	libgmp.so.10 => /usr/lib/i386-linux-gnu/libgmp.so.10 (0xf7732000)
	libffi.so.5 => /usr/lib/i386-linux-gnu/libffi.so.5 (0xf7729000)
	libm.so.6 => /lib/i386-linux-gnu/i686/cmov/libm.so.6 (0xf7703000)
	libc.so.6 => /lib/i386-linux-gnu/i686/cmov/libc.so.6 (0xf75a0000)
	libpthread.so.0 => /lib/i386-linux-gnu/i686/cmov/libpthread.so.0 (0xf7586000)
	/lib/ld-linux.so.2 (0xf77ce000)

But all Debian packages shipping some Haskell binary have a dependency
on the right version of gmp:

 $ apt-cache show xmonad|grep-dctrl -s Depends .
Depends: libc6 (>= 2.7), libffi5 (>= 3.0.4), libgmp10, libx11-6,
libxext6, libxinerama1, x11-utils
$ apt-cache show git-annex|grep-dctrl -s Depends .
Depends: libc6 (>= 2.7), libffi5 (>= 3.0.4), libgmp10, libpcre3 (>=
8.10), git (>= 1:1.7.7), uuid, rsync, wget | curl, openssh-client (>=
1:5.6p1)
$ apt-cache show ghc|grep-dctrl -s Depends .
Depends: gcc (>= 4:4.2), libgmp-dev, libffi-dev, libbsd-dev, libc6-dev,
libc6 (>= 2.7), libffi5 (>= 3.0.4), libgmp10, libncurses5 (>= 5.5-5~),
libtinfo5

so I don’t think that the Debian provided GHC installation can break.
Therefore I conclude that the „installation of Glasgow Haskell Compiler“
mentioned is not from Debian, but self-compiled or a binary provided by
upstream. As these are not managed by dpkg, they can and will break if
you upgrade libraries like libgmp without keeping the old package around
(you can install multiple versions of libgmp in parallel).

If that is true then the answer to “Is 
> there a way to make Haskell work with the released gmp?” is: Yes, use
apt-get install ghc.

If it is really the Debian provided ghc package that broke then I’d be
interested in the output of "apt-cache policy ghc", "dpkg -l libgmp\*"
and "ldd /usr/lib/ghc/lib/ghc".

Thanks,
Joachim

-- 
Joachim "nomeata" Breitner
Debian Developer
  nomeata at debian.org | ICQ# 74513189 | GPG-Keyid: 4743206C
  JID: nomeata at joachim-breitner.de | http://people.debian.org/~nomeata


-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: This is a digitally signed message part
URL: <http://lists.alioth.debian.org/pipermail/pkg-scicomp-devel/attachments/20130722/de113bdd/attachment-0001.sig>