On Thu, Oct 3, 2013 at 3:43 PM, Erik de Castro Lopo <[email protected]>wrote:
> Brandon Allbery wrote: > > > On Thu, Oct 3, 2013 at 1:10 PM, Yitzchak Gale <[email protected]> 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 [email protected] [email protected] unix, openafs, kerberos, infrastructure, xmonad http://sinenomine.net
_______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
