diff options
| author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-07-14 22:51:07 +0200 |
|---|---|---|
| committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-07-14 22:51:07 +0200 |
| commit | d288d874a896fbd4932b565cca2088e172460220 (patch) | |
| tree | 57225ebd5583b0f5e225c2659d000f830a76044b /pkgs/development/haskell-modules | |
| parent | 6e10550c38ae245a2d4f3ed8a62ea62336c94948 (diff) | |
| download | nixpkgs-d288d874a896fbd4932b565cca2088e172460220.tar nixpkgs-d288d874a896fbd4932b565cca2088e172460220.tar.gz nixpkgs-d288d874a896fbd4932b565cca2088e172460220.tar.bz2 nixpkgs-d288d874a896fbd4932b565cca2088e172460220.tar.lz nixpkgs-d288d874a896fbd4932b565cca2088e172460220.tar.xz nixpkgs-d288d874a896fbd4932b565cca2088e172460220.tar.zst nixpkgs-d288d874a896fbd4932b565cca2088e172460220.zip | |
haskellPackages.Agda: enable extra optimisations
See https://hackage.haskell.org/package/Agda-2.6.2/changelog
Diffstat (limited to 'pkgs/development/haskell-modules')
| -rw-r--r-- | pkgs/development/haskell-modules/configuration-nix.nix | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/pkgs/development/haskell-modules/configuration-nix.nix b/pkgs/development/haskell-modules/configuration-nix.nix index facd3ec5a3d..ef0bd0656ff 100644 --- a/pkgs/development/haskell-modules/configuration-nix.nix +++ b/pkgs/development/haskell-modules/configuration-nix.nix @@ -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"; + } |