link mlton statically?

Moritz Wilhelmy <[email protected]>
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <[email protected]> 
Hi

would you please link the official mlton build statically against libgmp? my
distribution does not install the ancient version the official build is linked
against. ghc is also linked statically in the binary distribution, so it at
least works everywhere.. I think the same could be done with mlton.

Kind regards,

Moritz Wilhelmy
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.