[MLton-user] mlton script typo

[Neal Glew]

Matthew Fluet writes:
 > On Fri, 12 Oct 2007, Matthew Fluet wrote:
 > >>  It seemed to need to be unpacked in a
 > >>  different place (/usr vs /).
 > >
 > > A patch shortly after the mlton-20051202 release changed the paths for the 
 > > Cygwin package.
 > >  http://mlton.org/cgi-bin/viewsvn.cgi?rev=4288&view=rev
 > > This was in response to some installation problems raised by a user of the 
 > > mlton-20051202 release.
 > >   http://mlton.org/pipermail/mlton-user/2005-December/000739.html
 > >
 > > In any event, it seems that most default Cygwin installations mount 
 > > C:\cygwin\bin on /usr/bin, C:\cygwin\lib on /usr/lib, and C:\cygwin on /,
 > > so you should be able to unpack the archive at / (and you will see the 
 > > binaries and libraries in /usr/{bin,lib}).
 > 
 > Hmm, except that the package also includes man/man1/{mlton,...}.1 files 
 > and there is no C:\cygwin\man mounted on /usr/man.
 > So, indeed, it seems that there will be discrepencies if the package is 
 > unpacked at / or at /usr/.

I think it is fine if you unpack it in cygwin onto /usr.  It's just
that it changed from being on /.  It seems that you had some reasons
for doing this.

Neal