Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
build-reports: option is invalid in a config file #405
(Imported from Trac #412, reported by guest on 2008-11-22)
With darcs (tonight) cabal and cabal-install, I see the generated .cabal/config includes the line '-- build-reports:', suggesting that this is a valid configuration option.
However, it is not. If one uncomments it to 'build-reports: True', then Cabal warns and apparently ignores one's configuration as corrupt:
The syntax is valid, the True is correct, it's not listed as being part of a section. further, --build-reports is a valid CLI option:
gwern@craft:29304~>rm .cabal/config && mv config .cabal && cabal install --build-reports ztail [ 9:21PM]
Either the default config is lying/wrong, or the build-reports: option is busted.