[MLton-user] Thanks !

[Wesley W. Terpstra]

On Dec 8, 2005, at 7:28 AM, Brian Donovan wrote:
> Wes and Stephen: you were right about how I'd extracted the tgz.
> Without thinking, I'd used a  Windows-style archiving tool
> (PowerArchiver in this case) to extract the contents of the archive
> instead of using tar through bash.

It seems to me that we should fix this.
Perhaps moving things from /usr/* to /* for the cygwin port would
be a good idea. That way it would work even for windows tools.

> W/re to the MinGW port, I'm definitely interested (b/c it will produce
> exe's), but I think I'll stick with the cygwin version for now

The cygwin port does make .exe's; they just need cygwin to work.
Also, the unix convention is not to have the '.exe' on the end, so
the extension is missing. However, as 'file helloworld.exe' will tell
you, it is still an '.exe'.