[MLton] Cygwin->Mingw32: patch + future

Matthew Fluet fluet@cs.cornell.edu
Wed, 17 Nov 2004 12:09:59 -0500 (EST)


> There were only two issues:
> 1. With gcc-3.4, the '-b <arch>' must be the first argument.
> 2. When using cygwin to compile native windows applications via their
> included mingw compiler, the option to use is '-mno-cygwin' instead.
> (I don't know why they did this, but there you have it)
>
> In general,  I think most of the CC-controlling options should be moved
> into a config file somewhere. Some people might want to use 'icc' for
> example, or under windows one of those other non-free compilers. Also, the
> gcc command-line api is always changing (and recompiling MLton is brutal!).
> I'm not planning on doing this.

The CC-controling options are essentially in their own place:
in the bin/mlton script you can see the default settings for
  -cc             -- the C compiler
  -cc-opt         -- options to the C compiler
  -target-cc-opt  -- options to the C compiler on a particular target

Modifying those would be better than modifying main.fun, for per target
specifics.