haskellPackages.Agda: enable extra optimisations

See https://hackage.haskell.org/package/Agda-2.6.2/changelog
This commit is contained in:
sternenseemann 2021-07-14 22:51:07 +02:00
parent 6e10550c38
commit d288d874a8

View file

@ -914,4 +914,9 @@ self: super: builtins.intersectAttrs super {
cachix = generateOptparseApplicativeCompletion "cachix" super.cachix;
# Enable extra optimisations which increase build time, but also
# later compiler performance, so we should do this for user's benefit.
# Flag added in Agda 2.6.2
Agda = appendConfigureFlag super.Agda "-foptimise-heavily";
}