On Thu, Oct 3, 2013 at 3:43 PM, Erik de Castro Lopo <mle...@mega-nerd.com>wrote:
> Brandon Allbery wrote: > > > On Thu, Oct 3, 2013 at 1:10 PM, Yitzchak Gale <g...@sefer.org> wrote: > > > ldd just says "not a dynamic executable". > > > > o.O I don't think the ghc runtime uses dlopen() to get at gmp (and I'm > not > > sure that would even work in a static binary). You may need to resort to > > I suspect the OP's exectuable is aleady being compiled static. > Yes; which leaves the question of why it requires libgmp.so, and if it's static the only things I can think of are (a) it's using dlopen(), or (b) it's running something else that is not static and requires libgmp.so. -- brandon s allbery kf8nh sine nomine associates allber...@gmail.com ballb...@sinenomine.net unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users