[MLton] Windows ports and paths

[Stephen Weeks]

> Agreed, but Wesley's proposal was to eliminate the -target-{cc,link}-opt
> options in favor of the shell script pulling in a target specific set of
> {cc,link}-opt options based on the determination of host/arch.  I was 
> pointing out that the limitation of that approach was that it removes the 
> ability to (easily) cross-compile.

Ah.  Personally, I don't use the -target-{cc,link}-opt options to
cross-compile, since I find maintaining a gcc cross compiler too much
effort.  But maybe some people use the options that way.  And the
options certainly seem easier than the shell approach to me.