如何将Haskell编译为静态库？

Question

嘿， 我正在学习Haskell，我有兴趣使用它来制作静态库，以便在Python和C中使用。经过一些Google搜索后，我发现如何让GHC输出共享对象，但它动态地依赖于在GHC的图书馆。 在GHC中编译生成的ELF只能动态地依赖于C库，并且它的大小略低于MB - 它已经与GHC的libs静态链接。如何以及如果这可以实现共享对象？当前状态的

例子：

$ ghc --make -dynamic -shared -fPIC foo.hs -o libfoo.so 
$ ldd libfoo.so 
    linux-vdso.so.1 => (0x00007fff125ff000) 
    libHSbase-4.2.0.2-ghc6.12.3.so => /usr/lib/ghc-6.12.3/base-4.2.0.2/libHSbase-4.2.0.2-ghc6.12.3.so (0x00007f7d5fcbe000) 
    libHSinteger-gmp-0.2.0.1-ghc6.12.3.so => /usr/lib/ghc-6.12.3/integer-gmp-0.2.0.1/libHSinteger-gmp-0.2.0.1-ghc6.12.3.so (0x00007f7d5faac000) 
    libgmp.so.10 => /usr/lib/libgmp.so.10 (0x00007f7d5f816000) 
    libHSghc-prim-0.2.0.0-ghc6.12.3.so => /usr/lib/ghc-6.12.3/ghc-prim-0.2.0.0/libHSghc-prim-0.2.0.0-ghc6.12.3.so (0x00007f7d5f591000) 
    libHSffi-ghc6.12.3.so => /usr/lib/ghc-6.12.3/libHSffi-ghc6.12.3.so (0x00007f7d5f383000) 
    libc.so.6 => /lib/libc.so.6 (0x00007f7d5f022000) 
    /lib/ld-linux-x86-64.so.2 (0x00007f7d60661000) 

$ ghc foo.hs 
$ ldd foo 
    linux-vdso.so.1 => (0x00007fff2d3ff000) 
    libgmp.so.10 => /usr/lib/libgmp.so.10 (0x00007f50014ec000) 
    libm.so.6 => /lib/libm.so.6 (0x00007f5001269000) 
    librt.so.1 => /lib/librt.so.1 (0x00007f5001061000) 
    libdl.so.2 => /lib/libdl.so.2 (0x00007f5000e5d000) 
    libc.so.6 => /lib/libc.so.6 (0x00007f5000afc000) 
    libpthread.so.0 => /lib/libpthread.so.0 (0x00007f50008df000) 
    /lib/ld-linux-x86-64.so.2 (0x00007f5001759000) 

如果我尝试（没有 '-dynamic'）进行编译：

$ ghc --make -shared -fPIC foo.hs -o libfoo.so 
Linking libfoo.so ... 
/usr/bin/ld: foo.o: relocation R_X86_64_32S against `stg_CAF_BLACKHOLE_info' can not be used when making a shared object; recompile with -fPIC 
foo.o: could not read symbols: Bad value 
collect2: ld returned 1 exit status 

在谷歌上搜索，我发现一些有关这整个问题 - 它可能来自GHC以特定方式编译（动态/静态？）的事实，因此静态链接是不可能的。如果这是真的，ELF二进制文件如何可能静态链接？

无论如何，我希望有人能够说明这一点，因为大量的谷歌搜索给我留下了比我更多的问题。

非常感谢。

Answer 1

的是这种情况的典型方式：

1. 导出功能（通过FFI）由国外程序初始化RTS（运行时系统）
2. 出口的实际功能，你想在Haskell实施

手册的以下部分描述了这一点：[1][2]

在其他的方式，你可以尝试在这个博客帖子描述的技术（其中矿，顺便说一句）：

http://mostlycode.wordpress.com/2010/01/03/shared-haskell-so-library-with-ghc-6-10-4-and-cabal/

它归结为创造这之后立即自动调用一个小的C文件库被加载。 它应该被链接到图书馆。

#define CAT(a,b) XCAT(a,b) 
#define XCAT(a,b) a ## b 
#define STR(a) XSTR(a) 
#define XSTR(a) #a 

#include 

extern void CAT (__stginit_, MODULE) (void); 

static void library_init (void) __attribute__ ((constructor)); 
static void 
library_init (void) 
{ 
     /* This seems to be a no-op, but it makes the GHCRTS envvar work. */ 
     static char *argv[] = { STR (MODULE) ".so", 0 }, **argv_ = argv; 
     static int argc = 1; 

     hs_init (&argc, &argv_); 
     hs_add_root (CAT (__stginit_, MODULE)); 
} 

static void library_exit (void) __attribute__ ((destructor)); 
static void 
library_exit (void) 
{ 
    hs_exit(); 
} 

编辑：原创博客文章说明该手法是这样的：http://weblog.haskell.cz/pivnik/building-a-shared-library-in-haskell/

Answer 2

这使得GHC静态编译（注意并行线程是optl静态前）： ghc --make -static -optl-pthread -optl-static test.hs

编辑：但静态编译似乎有点冒险。大多数时候都有一些错误。而在我的x64 fedora上它根本不起作用。形成的二分也是相当大的，1.5M的main = putStrLn "hello world"