<div dir="ltr">The Debian libgmp package is named libgmp3 on Ubuntu, though I don't know why.  Our GHC is patched to reflect this:<div><br></div><div><a href="http://src.seereason.com/autobuilder-config/patches/ghc.diff">http://src.seereason.com/autobuilder-config/patches/ghc.diff</a><br>
</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Oct 21, 2013 at 12:42 PM, Andreas Abel <span dir="ltr"><<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi, I tried the 64bit binary packages from<br>
<br>
  <a href="http://haskell.org/ghc" target="_blank">haskell.org/ghc</a><br>
<br>
but I got a complaint that<br>
<br>
  libgmp.so.3<br>
<br>
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<br>
<br>
locate libgmp.so<br>
<br>
/usr/lib/i386-linux-gnu/<u></u>openssl-1.0.0/engines/libgmp.<u></u>so<br>
/usr/lib/i386-linux-gnu/ssl/<u></u>engines/libgmp.so<br>
/usr/lib/x86_64-linux-gnu/<u></u>libgmp.so<br>
/usr/lib/x86_64-linux-gnu/<u></u>libgmp.so.10<br>
/usr/lib/x86_64-linux-gnu/<u></u>libgmp.so.10.0.2<br>
/usr/lib/x86_64-linux-gnu/<u></u>openssl-1.0.0/engines/libgmp.<u></u>so<br>
<br>
Here I already gave up.  Since compiling from source worked, I did not investigate further...<br>
<br>
Cheers,<br>
Andreas<div class="im"><br>
<br>
On 20.10.2013 02:23, David Fox wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
deb <a href="http://deb.seereason.com/ubuntu" target="_blank">http://deb.seereason.com/<u></u>ubuntu</a> precise-seereason main<br>
deb-src <a href="http://deb.seereason.com/ubuntu" target="_blank">http://deb.seereason.com/<u></u>ubuntu</a> precise-seereason main<br>
</blockquote>
<br></div>
Ah, that is useful information.  Thanks!<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
On Sat, Oct 19, 2013 at 3:27 PM, Toby Hutton <<a href="mailto:toby@grusly.com" target="_blank">toby@grusly.com</a><br></div><div class="im">
<mailto:<a href="mailto:toby@grusly.com" target="_blank">toby@grusly.com</a>>> wrote:<br>
<br>
    On Fri, Oct 18, 2013 at 02:35:02PM -0400, Yitzchak Gale wrote:<br>
     > Andreas Abel wrote:<br>
     > > ...I am now compiling a ghc 7.6 (will take a while).<br>
     > > Unfortunately,  7.4.1 is the last compiler with an easy binary<br>
    install on<br>
     > > Ubuntu 12.04 LTS...<br>
     ><br>
     > Hmm? We are using the binary tarball for 7.6.3 on<br>
     > Ubuntu 12.04 LTS extensively. The only trouble we ever<br>
     > encountered was that when installing GHC on a VM<br>
     > with a very minimal install of 12.04 64-bit, we had to<br>
     > temporarily install the 32-bit versions of a few basic<br>
     > Ubuntu system packages to get the GHC installer to<br>
     > work. After that we returned the machine to single-arch<br>
     > 64-bit and everything is fine.<br>
     ><br>
     > What problems have you encountered?<br>
<br>
    I think he's saying 'apt-get install ghc' will install 7.4.1.<br>
<br>
    ______________________________<u></u>_________________<br>
    Haskell-Cafe mailing list<br></div>
    <a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a> <mailto:<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.<u></u>org</a>><br>
    <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><div class="im"><br>
<br>
<br>
<br>
<br>
______________________________<u></u>_________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
<br>
</div></blockquote>
<br><div class="HOEnZb"><div class="h5">
<br>
-- <br>
Andreas Abel  <><      Du bist der geliebte Mensch.<br>
<br>
Theoretical Computer Science, University of Munich<br>
Oettingenstr. 67, D-80538 Munich, GERMANY<br>
<br>
<a href="mailto:andreas.abel@ifi.lmu.de" target="_blank">andreas.abel@ifi.lmu.de</a><br>
<a href="http://www2.tcs.ifi.lmu.de/~abel/" target="_blank">http://www2.tcs.ifi.lmu.de/~<u></u>abel/</a><br>
</div></div></blockquote></div><br></div>