Disable optimization

Henning Thielemann lemming at henning-thielemann.de
Wed Feb 20 22:39:37 EST 2008


On Wed, 20 Feb 2008, Johan Tibell wrote:

> On Wed, Feb 20, 2008 at 5:16 PM, Henning Thielemann
> <lemming at henning-thielemann.de> wrote:
> >
> >   I have upgraded to Cabal 1.2 while still using GHC-6.4.1. In the Haskore
> >  project there is the module NewResolutions.lhs which let GHC run into
> >  extensive swapping (certainly due to excessive memory consumption) on
> >  compilation when compiled with optimization. One can say, it cannot be
> >  compiled this way. This is clearly a compiler bug, but upgrading the
> >  compiler is not an option here. Thus I used unoptimized compilation so
> >  far. Now, Cabal 1.2 seems to have optimization set by default. While it
> >  was easy to add optimization by using 'GHC-Options' field it is not
> >  obvious how to override Cabal defaults.
> >   I don't think it was a good idea to switch on optimization silently from
> >  one Cabal version to another one. It would have been better to let people
> >  configure Cabal globally and manually to use optimization.
>
> But we definitely want optimization on by default to prevent a poor
> user experience, right?

This could be achieved by shipping Cabal with a default settings file.
It's however difficult to add new default options in a later update installation.



More information about the cabal-devel mailing list