[MLton-user] Re: MLton and Cygwin installation
Wed, 7 Dec 2005 10:13:55 -0800
> I've got MLton working (I think) - after I changed the value of lib on
> line 8 in the mlton bash script to :
Ah. I think I understand. To confirm, can you send the output of
mount? Recall that mine showed
C:\cygwin\bin on /usr/bin type system (binmode)
C:\cygwin\lib on /usr/lib type system (binmode)
C:\cygwin on / type system (binmode)
c: on /cygdrive/c type system (binmode,noumount)
I suspect that some difference in our Cygwin installs caused yours to
not have those first two lines, which would explain why the MLton bash
script couldn't find /usr/lib/mlton/.
> I was able to compile the helloworld.ml file to a 364KB file with no
> extension named simply helloworld. This seems to be expected (that
> it's extensionless), but helloworld won't run from either the bash or
> the Windows prompt. Manually editing the filename to end in .exe lets
> me run it and get the expected "Hello, world!".
No clue here. What error do you get when you run the extensionless
> Is there some separate step after the compile to get me to an exe?
There's not supposed to be.
> Is manually adding ".exe" to the filename what other Windows MLton
> users do?
> Would the MinGW package produce extensionless files as well?
No. The MinGW package is more Windows and less Unix than Cygwin.