search

haskell / cabal

Official upstream development repository for Cabal and cabal-install
https://haskell.org/cabal
Other
1.59k stars 686 forks source link

cabal-install local profiling settings do not override global settings #7314

Open amigalemming opened 3 years ago

amigalemming commented 3 years ago

The following problem exists in cabal-2.4 to cabal-3.4.

In $HOME/.cabal/config I have

library-profiling: True

When compiling with cabal v2-build I cannot disable profiling locally, neither using command-line option --disable-library-profiling nor in cabal.project.local with library-profiling: False. It's just ignored and cabal continues building the profiled version. It does not harm, but increases build time considerably and sometimes I just want a quick build without profiling. Ok, there is an instance where it harms: When I want to build ghc-vis it says that it cannot be build with profiling and I should disable it using --disable-library-profiling, although that's precisely what I did.

amigalemming commented 3 years ago

Maybe related to the recent #7297.

amigalemming commented 3 years ago

The same applies to

documentation: False