[MLton-user] Re: MLton and Cygwin installation

[Brian Donovan]

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
in:

bash-3.00$ mlton
/usr/bin/mlton: line 9: /usr/lib/mlton/platform: No such file or directory
Unable to run MLton.  Check that lib is set properly.
bash-3.00$

Hmmmm

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 :

#!/usr/bin/env bash

# This script calls MLton.

set -e

dir=`dirname $0`
lib='/usr/lib/mlton'
eval `$lib/platform`

- Brian


On 12/8/05, Brian Donovan <bdonovan@gmail.com> wrote:
> 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
> > >>
> > >
> >
>