Статическая ссылка GMP к приложению Haskell с использованием GHC (+ LLVM)

Question

1. Как я могу бросить динамическую зависимость от libgmp и перейти от этого:

   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) 
   

   к этому (в настоящее время по желанию):

   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) 
   

   в чистом и портативном режиме, который работает только во всех дистрибутивах GNU/Linux (и не вмешивается в BSD (включая OS X))?

2. Вы видите какие-либо другие зависимости, которые могут вызвать проблемы в текущем списке, как указано выше, при распространении одного бинарного набора Haskell с несколькими дистрибутивами GNU/Linux?

---

Примечания:

• мое приложение является GPLv3, так что никаких проблем нарушения лицензии не возникает в отношении GMP
• Указание пути к libgmp.a не работает (How to selectively link certain system libraries statically into Haskell program binary?), libgmp еще перечисленные в выводе ldd.

Answer 1

Если вы передадите -optl-static -optl-pthread в GHC, он будет статически связывать все зависимости библиотеки времени выполнения, включая GMP. Установка ld-options: -static -pthread в вашем файле Cabal должна выполнить то же самое.

Это означает, что вы также статически ссылаетесь на glibc, но это, вероятно, не будет проблемой, хотя это может немного увеличить двоичный размер. Использование альтернативного libc как musl или uClibc должно помочь противодействовать этому, если это проблема для вас.