[MLton-user] Re: MLton and Cygwin installation

[Brian Donovan]

Thank you for getting in touch.

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.

I got an "mlton: command not found" error.

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.

Have you used MLton within the context of cygwin?

Thanks,
Brian Donovan

On 12/7/05, Matthew Fluet <fluet@cs.cornell.edu> wrote:
>
> Brian,
>
> 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
>