如何将Haskell编译为静态库？
嘿，我正在学习Haskell，我有兴趣使用它来创建静态库，以便在Python和C中使用。经过一些Google搜索后，我发现如何让GHC输出共享对象，但它动态依赖于GHC s的图书馆。 在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二进制文件如何可能静态链接？
无论如何，我希望有人能够说明这一点，因为大量的谷歌搜索给我留下了比我更多的问题。
非常感谢。
规范的方式是这样的：
手册的以下部分描述了这一点：[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/
这使ghc静态编译（注意pthread在optl-static之前）： ghc --make -static -optl-pthread -optl-static test.hs
编辑：但静态编译似乎有点风险。 大多数时候都有一些错误。 而在我的x64 fedora上它根本不起作用。 由此产生的二进制文件也相当大，1.5M为main = putStrLn "hello world"