[MLton-user] mlton script typo
fluet at tti-c.org
Wed Oct 31 17:11:49 PST 2007
On Tue, 16 Oct 2007, Petersen, Leaf wrote:
> > > > We also seemed to need several new
>>>> libraries installed in cygwin that we didn't have previously.
>>> What libraries?
>> I'll have to look this up. Leaf, do you remember which ones?
> I believe libgmp-devel is required for the new release, as well as
> possibly libgmp3? There was also an issue in that the previous release
> had its own copy of libgmp, which needs to be manually removed after you
> install the new release to avoid getting the wrong version when linking.
> I believe that this may have been previously mentioned somewhere (here?)
I wasn't aware that previous Cygwin binary releases of MLton shipped with
their own libgmp.a library. Though, given the fickleness of Cygwin in
general, it seems safer to rely on the GMP package delivered with Cygwin.
More information about the MLton-user