Re: Linux deployment requirements for GHC-produced binaries

Brandon Allbery wrote:

On Thu, Oct 3, 2013 at 1:10 PM, Yitzchak Gale 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 to find out what's trying to pull in libgmp.so.whatever. Unless this program is like xmonad and requires ghc behind the scenes to build something, in which case you would indeed need everything that ghc requires (and, of course, ghc itself).

I suspect the OP's exectuable is aleady being compiled static. For the webapp I'm currently working on I get: > ldd test-webapp linux-vdso.so.1 (0x00007fffcdd91000) libpq.so.5 => /usr/lib/libpq.so.5 (0x00007f973e0a8000) libz.so.1 => /lib/x86_64-linux-gnu/libz.so.1 (0x00007f973de90000) librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007f973dc87000) libutil.so.1 => /lib/x86_64-linux-gnu/libutil.so.1 (0x00007f973da84000) libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007f973d880000) libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007f973d663000) libldap_r-2.4.so.2 => /usr/lib/x86_64-linux-gnu/libldap_r-2.4.so.2 (0x00007f973d412000) liblber-2.4.so.2 => /usr/lib/x86_64-linux-gnu/liblber-2.4.so.2 (0x00007f973d203000) libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007f973cf8a000) libffi.so.6 => /usr/lib/x86_64-linux-gnu/libffi.so.6 (0x00007f973cd82000) libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007f973ca84000) libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007f973c6d7000) libssl.so.1.0.0 => /usr/lib/x86_64-linux-gnu/libssl.so.1.0.0 (0x00007f973c479000) libcrypto.so.1.0.0 => /usr/lib/x86_64-linux-gnu/libcrypto.so.1.0.0 (0x00007f973c087000) libkrb5.so.3 => /usr/lib/x86_64-linux-gnu/libkrb5.so.3 (0x00007f973bdb2000) libcom_err.so.2 => /lib/x86_64-linux-gnu/libcom_err.so.2 (0x00007f973bbae000) libgssapi_krb5.so.2 => /usr/lib/x86_64-linux-gnu/libgssapi_krb5.so.2 (0x00007f973b96f000) /lib64/ld-linux-x86-64.so.2 (0x00007f973e2f9000) libresolv.so.2 => /lib/x86_64-linux-gnu/libresolv.so.2 (0x00007f973b757000) libsasl2.so.2 => /usr/lib/x86_64-linux-gnu/libsasl2.so.2 (0x00007f973b53c000) libgnutls.so.26 => /usr/lib/x86_64-linux-gnu/libgnutls.so.26 (0x00007f973b27c000) libgcrypt.so.11 => /lib/x86_64-linux-gnu/libgcrypt.so.11 (0x00007f973affc000) libk5crypto.so.3 => /usr/lib/x86_64-linux-gnu/libk5crypto.so.3 (0x00007f973add3000) libkrb5support.so.0 => /usr/lib/x86_64-linux-gnu/libkrb5support.so.0 (0x00007f973abc9000) libkeyutils.so.1 => /lib/x86_64-linux-gnu/libkeyutils.so.1 (0x00007f973a9c5000) libtasn1.so.3 => /usr/lib/x86_64-linux-gnu/libtasn1.so.3 (0x00007f973a7b3000) libp11-kit.so.0 => /usr/lib/x86_64-linux-gnu/libp11-kit.so.0 (0x00007f973a593000) libgpg-error.so.0 => /lib/x86_64-linux-gnu/libgpg-error.so.0 (0x00007f973a38e000) and libgmp is clearly listed in that. Erik -- ---------------------------------------------------------------------- Erik de Castro Lopo http://www.mega-nerd.com/