<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Fri, Sep 13, 2013 at 9:10 AM, Jan Stolarek <span dir="ltr"><<a href="mailto:jan.stolarek@p.lodz.pl" target="_blank">jan.stolarek@p.lodz.pl</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I suspect that we will be building against newer version of libgmp, but the problem still remains. Would it be possible to ship libgmp with binary distribution of GHC so that users don't have to rely on their distro providing a precise version of that library?</blockquote>
</div><br>This is what we already do with libffi, where the system may not have a version that we like (or any version), and it seems to work quite well. Taking the same approach with libgmp seems like a good idea.</div></div>