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
[email protected] | ICQ# 74513189 | GPG-Keyid: 4743206C
JID: [email protected] | http://people.debian.org/~nomeata
signature.asc
Description: This is a digitally signed message part
