[MLton-user] mlton script typo

[Petersen, Leaf]

 > > > 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.

By the way - I believe I just ignored the /usr/yyy /yyy distinction when
I installed the new release, and it seems to work, modulo the man page
issue.

-leaf