[MLton-user] mlton script typo

[Matthew Fluet]

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?)
> though.

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.