We received a complaint from one of our customers that
the Linux executable for one of our products - compiled
using GHC - does not run because of libgmp not being
installed on their server. This binary was compiled using
GHC 7.4.2 (HP 2012.4.0.0). We hope to be migrating soon
to GHC 7.6.3 (HP
On Thu, Oct 3, 2013 at 7:22 AM, Yitzchak Gale g...@sefer.org wrote:
Do GHC-compiled binaries have a dynamic dependence on libgmp?
If so, what are the exact requirements we need to communicate
to our customers? Does this limit what versions of Linux
we can claim that our product supports?
Hi Brandon,
Thanks for your response and explanation.
I wrote:
[For] GHC-compiled binaries...
what are the exact requirements we need to communicate
to our customers?
You wrote:
Ideally you would use `ldd` on
binaries to determine other dynamic dependencies
that must be communicated
ldd
On Thu, Oct 3, 2013 at 1:10 PM, Yitzchak Gale g...@sefer.org wrote:
I wrote:
[For] GHC-compiled binaries...
what are the exact requirements we need to communicate
to our customers?
You wrote:
Ideally you would use `ldd` on
binaries to determine other dynamic dependencies
that must
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
strace
On Thu, Oct 3, 2013 at 3:43 PM, Erik de Castro Lopo mle...@mega-nerd.comwrote:
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
I suspect the OP's exectuable is already 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.
You