[MLton-user] Re: MLton and Cygwin installation
Thu, 8 Dec 2005 00:33:32 +0800
Copying all of those files and dropping them into my C:\cygwin\bin
directory got a result - typing "mlton" at the bash prompt now results
/usr/bin/mlton: line 9: /usr/lib/mlton/platform: No such file or directory
Unable to run MLton. Check that lib is set properly.
I had added C:\cygwin\usr\bin to my PATH environmental variable
(previously it included only C:\cygwin\usr\X11R6\bin and
C:\cygwin\bin) but that didn't get me anywhere. Rebooted and tried
again and still nothing, but pasting the above files into
C:\cygwin\bin had some effect.
I see now that "mlton" is actually a bash script. And that lines 1-9 are :
# This script calls MLton.
On 12/8/05, Brian Donovan <email@example.com> wrote:
> Looking in C:\cygwin\usr\bin, I see 5 files :
> 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?
> Brian Donovan
> On 12/7/05, Matthew Fluet <firstname.lastname@example.org> 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
> > >> MLtonemail@example.com with a description.
> > >>
> > >> -Matthew
> > >>
> > >