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