[MLton] building MLton -link-opt -static

[Stephen Weeks]

I am thinking of building MLton and its tools -link-opt -static.  I
think this will make our users' lives easier, becuase they won't have
to deal with getting libgmp or even worse, dealing with a different
version of it.  It has definitely caused problems in the past (and
present) where the public release of MLton depends on a certain
version of libgmp and the platform has moved on to a new version.  We
already link statically with libgmp.a on Linux, and have for some
time.  It seems to have been a good thing there.

I don't think size is an issue, since this will add about 0.5M to our
approximately 10M executable.

An intermediate position would be to link statically with libgmp on
all platforms and dynamically with other libs (libc, libm, ...).  But
I don't know an easy way to do that.  The way we do it on Linux is
messy.

Are there any other issues I'm missing?