patch applied (cabal): add --enable-optimization/--disable-optimization config options (on by default)

Ian Lynagh igloo at earth.li
Sun Feb 18 12:18:48 EST 2007


On Tue, Feb 13, 2007 at 10:51:38AM +1100, Donald Bruce Stewart wrote:
> 
> I think developers can be expected to read the docs and turn off
> optimisations if they like. Everyone else should get -O by default, to
> avoid bad press ;-)

Since Duncan asked for opinions, I agree with Don.


Thanks
Ian



More information about the cabal-devel mailing list