Showing content from https://github.com/agda/agda/issues/7095 below:
Agda build flags appear as "automatic", but they are all "manual" · Issue #7095 · agda/agda · GitHub
Is there a reason why the cabal build flags of Agda are mostly "automatic"? (I think none of it is switched on by the cabal constraint solver...)
flag debug default: False manual: True description: Enable debug printing. This makes Agda slightly slower, and building Agda slower as well. The --verbose=N option only has an effect when Agda was built with this flag. flag debug-serialisation default: False description: Enable debug mode in serialisation. This makes serialisation slower. flag debug-parsing default: False description: Enable debug mode in parsing. This makes parsing slower. flag enable-cluster-counting default: False description: Enable the --count-clusters flag. (If enable-cluster-counting is False, then the --count-clusters flag triggers an error message.) flag optimise-heavily default: False description: Enable some expensive optimisations when compiling Agda.
Automatic flags are hidden on hackage:
This is how it looks when you show them:
RetroSearch is an open source project built by @garambo
| Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4