You may need to resort to
strace to find out what's trying to pull in libgmp.so.whatever.
I don't know how to do that. And anyway, I don't have access to
the machine on which the customer is reporting this. I do believe
the report - there is no compilation going on here, they are
only running
I remember Tim Dysinger telling me some incantations needed to statically
link Gmp into the static binary before deployment. I'll pester him to re
remember what's needed, but the point is there's a way.
On Wednesday, October 9, 2013, Yitzchak Gale wrote:
You may need to resort to
strace to
there seem to be two main approaches (which both require some testing)
1) build ghc with integer-simple
2) do some static linking tricks on your side, such as those described in
http://stackoverflow.com/questions/809794/use-both-static-and-dynamically-linked-libraries-in-gcc,
this might entail
NB: I'm told that building ghc with integer-simple doesn't work on linux?!
(though the person who told me this may not have filed a ticket about this
on trac, so i'm not sure if its still an issue with ghc head or not )
On Wed, Oct 9, 2013 at 2:47 PM, Carter Schonwald carter.schonw...@gmail.com
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
11 matches
Mail list logo