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

[Matthew Fluet]

> > 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?

Go for it.  I'd say we could then deprecate the -O option, because it
would be subsummed by -ccopt.  How about the -cc flag?  I figured that
would also be useful for specifing different gcc versions from the compile
line.




-------------------------------------------------------
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