[MLton-devel] Fwd: Re: pretty damn good

[Stephen Weeks]

> Another alternative would be to have -cc and -ccopt flags; the first
> would override the set of flags, while the second would add to the
> current set of flags.  Then you could do something like
> 
> ../benchmark -mlton "mlton -cc gcc -ccopt {-nop,-O1,-O2} -ccopt {-nop,-fomit-frame-pointer}"
> 
> to get lots of different combinations of flags.

I like the idea of a -ccopt (expert) flag.  Shall I add it?


-------------------------------------------------------
This sf.net email is sponsored by: See the NEW Palm 
Tungsten T handheld. Power & Color in a compact size!
http://ads.sourceforge.net/cgi-bin/redirect.pl?palm0001en
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel