Erik,

On 13 January 2015 at 13:20, Erik Hesselink <hesselink@gmail.com> wrote:

I think you need to install Cabal-1.22 at least, if you want
cabal-install 1.22 to work with these flags. That's my suspicion, at
least, I haven't thoroughly tested this. If you have 1.22, I think
cabal-install will just use that, since it's the newest. If it
doesn't, you can try hiding the older ones.

I've just tried, and you suspicion is correct! Compiling cabal install with Cabal-1.22.0.0 enables the use of the new flag with the old ghc.

To be precise, I ran the following and can use --disable-profiling with ghc-7.6.3 now.

$ cabal install cabal-install-1.22.0.0 Cabal-1.22.0.0

Thanks!

Ozgur