[MLton-user] Re: MLton and Cygwin installation

[Brian Donovan]

Looking in C:\cygwin\usr\bin, I see 5 files :

mllex
mlnlffigen
mlprof
mlton
mlyacc

They're actually the only files in that directory and I see from
looking at the mlton tgz separately that they're all from that
archive.  Stuff like bash, awk, etc. all live in my C:\cygwin\bin\
directory (possibly b/c I made a choice at install time to have all of
the cygwin tools available to all users on this system? dunno).

I notice that bash, awk, etc. are all exe's, though, whereas none of
the mlton-associated files have any extensions.

Is that normal?

Thanks,
Brian Donovan


On 12/7/05, Matthew Fluet <fluet@cs.cornell.edu> wrote:
>
> > You're right - I'm having a bit of trouble getting MLton going.  I
> > extracted the archive at the root of my cygwin install (C:\cygwin\),
> > fired up a Windows command prompt, switched to bash as I always do
> > before trying to use a cygwin tool, and typed "mlton" at the prompt.
>
> That sounds right.  I usually do the extraction from within bash:
>
> cp mlton-20051202-1.i386-cygwin.tgz /
> cd /
> tar -xzpvf mlton-20051202-1.i386-cygwin.tgz
>
> You might verify that whatever tool you used to extract the .tgz actually
> generated the right directory structure in the right place.  You should
> find mlton installed at  /usr/bin/mlton.
>
> > I got an "mlton: command not found" error.
>
> That sounds like mlton wasn't dropped into the /usr/bin directory.
>
> > I joined MLton-user and posted my plea for help this morning (it's
> > nearly 11:30PM local, HK, time now).  I saw something on the MLton
> > site about a whitelist for mailing lists, so it's possible that my
> > email is beng held up in a queue until this email address is added to
> > the whitelisted.
>
> Probably.
>
> > Have you used MLton within the context of cygwin?
>
> Yes, and I've not had any problems with an install like the one I describe
> above.
>
> -Matthew
>
> >> I saw your change to the MLton wiki, which seemed to imply that you were
> >> having difficulty installing MLton on Cygwin.  We are not aware of any
> >> special instructions; simply extract the .tgz in the root directory.
> >> If you are still having problems with the install, please e-mail
> >> MLton-user@mlton.org with a description.
> >>
> >> -Matthew
> >>
> >
>