staticamente Link GMP a un'applicazione Haskell utilizzando GHC (+ LLVM)

Question

1. Come posso eliminare la dipendenza dinamica libgmp e passare da questo:

   linux-vdso.so.1 => (0x00007fffdccb1000) 
   libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007fb01afc1000) 
   libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fb01acc7000) 
   librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007fb01aabe000) 
   libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007fb01a8ba000) 
   libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007fb01a69d000) 
   libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fb01a2df000) 
   /lib64/ld-linux-x86-64.so.2 (0x00007fb01b249000) 
   

   a questo (attualmente desiderato):

   linux-vdso.so.1 => (0x00007fffdccb1000) 
   libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007fb01acc7000) 
   librt.so.1 => /lib/x86_64-linux-gnu/librt.so.1 (0x00007fb01aabe000) 
   libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007fb01a8ba000) 
   libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007fb01a69d000) 
   libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007fb01a2df000) 
   /lib64/ld-linux-x86-64.so.2 (0x00007fb01b249000) 
   

   in modo pulito e portatile che funziona solo su tutte le distribuzioni GNU/Linux (e non scherzando con BSD (incluso OS X))?

2. Vedete altre dipendenze che potrebbero causare problemi nell'elenco attualmente desiderato come indicato sopra quando distribuite un singolo binario Haskell che ha come target più distribuzioni GNU/Linux?

---

Note:

• mia app è GPLv3 in modo sorgono problemi di violazione di licenza per quanto riguarda GMP
• Definizione di un percorso per libgmp.a non funziona (How to selectively link certain system libraries statically into Haskell program binary?), libgmp è ancora elencato nell'output ldd.

Answer 1

Se si passa -optl-static -optl-pthread a GHC, collegherà in modo statico tutte le dipendenze della libreria di runtime, inclusa GMP. L'impostazione di ld-options: -static -pthread nel file Cabal dovrebbe eseguire la stessa operazione.

Ciò significa che verrà eseguito il collegamento statico anche in glibc, ma probabilmente non sarà un problema, anche se potrebbe aumentare un po 'le dimensioni binarie. L'utilizzo di una libc alternativa come musl o uClibc dovrebbe aiutare a contrastarlo, se è un problema per te.