[MLton] building MLton -link-opt -static
Fri, 20 Aug 2004 13:42:37 -0500
A possibly big disadvantage of static linking is that if a bug is found in
some libc code, you won't see the fix. This is, I would say, non-trivial.
Using libgmp.a instead of libgmp.so is a different thing, which makes more
sense to me, although even here, you lose the possibility of CPU-specific
versions ov gmp.
I guess my vote (weakly) would be to either only link with libgmp.a, or else
to leave it as is.