[MLton] building MLton -link-opt -static

[Henry Cejtin]

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.