The Debian libgmp package is named libgmp3 on Ubuntu, though I don't know why.  Our GHC is patched to reflect this:

http://src.seereason.com/autobuilder-config/patches/ghc.diff


On Mon, Oct 21, 2013 at 12:42 PM, Andreas Abel <andreas.abel@ifi.lmu.de> wrote:
Hi, I tried the 64bit binary packages from

  haskell.org/ghc

but I got a complaint that

  libgmp.so.3

is not found on my system (and locate did not reveal it).  I have several of these libgmp.so, but apparently not the right one

locate libgmp.so

/usr/lib/i386-linux-gnu/openssl-1.0.0/engines/libgmp.so
/usr/lib/i386-linux-gnu/ssl/engines/libgmp.so
/usr/lib/x86_64-linux-gnu/libgmp.so
/usr/lib/x86_64-linux-gnu/libgmp.so.10
/usr/lib/x86_64-linux-gnu/libgmp.so.10.0.2
/usr/lib/x86_64-linux-gnu/openssl-1.0.0/engines/libgmp.so

Here I already gave up.  Since compiling from source worked, I did not investigate further...

Cheers,
Andreas


On 20.10.2013 02:23, David Fox wrote:
deb http://deb.seereason.com/ubuntu precise-seereason main
deb-src http://deb.seereason.com/ubuntu precise-seereason main

Ah, that is useful information.  Thanks!

On Sat, Oct 19, 2013 at 3:27 PM, Toby Hutton <toby@grusly.com
<mailto:toby@grusly.com>> wrote:

    On Fri, Oct 18, 2013 at 02:35:02PM -0400, Yitzchak Gale wrote:
     > Andreas Abel wrote:
     > > ...I am now compiling a ghc 7.6 (will take a while).
     > > Unfortunately,  7.4.1 is the last compiler with an easy binary
    install on
     > > Ubuntu 12.04 LTS...
     >
     > Hmm? We are using the binary tarball for 7.6.3 on
     > Ubuntu 12.04 LTS extensively. The only trouble we ever
     > encountered was that when installing GHC on a VM
     > with a very minimal install of 12.04 64-bit, we had to
     > temporarily install the 32-bit versions of a few basic
     > Ubuntu system packages to get the GHC installer to
     > work. After that we returned the machine to single-arch
     > 64-bit and everything is fine.
     >
     > What problems have you encountered?

    I think he's saying 'apt-get install ghc' will install 7.4.1.

    _______________________________________________
    Haskell-Cafe mailing list
    Haskell-Cafe@haskell.org <mailto:Haskell-Cafe@haskell.org>
    http://www.haskell.org/mailman/listinfo/haskell-cafe





_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe



--
Andreas Abel  <><      Du bist der geliebte Mensch.

Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY

andreas.abel@ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/