nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-22 12:53:54 +00:00
Code Issues Packages Projects Releases Wiki Activity

agda: enable debug printing

Browse Source
This commit is contained in:
Naïm Favier 2024-01-06 15:00:33 +01:00
parent b40d1bc8d7
commit 0e15c844a9
No known key found for this signature in database
GPG Key ID: 95AFCE8211908325
2 changed files with 11 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/haskell-modules/configuration-darwin.nix
View File

@ -345,7 +345,7 @@ self: super: ({
}) (disableCabalFlag "fixity-th" super.fourmolu);
# https://github.com/NixOS/nixpkgs/issues/149692
Agda = removeConfigureFlag "-foptimise-heavily" super.Agda;
Agda = disableCabalFlag "optimise-heavily" super.Agda;
} // lib.optionalAttrs pkgs.stdenv.isx86_64 { # x86_64-darwin

14
pkgs/development/haskell-modules/configuration-nix.nix
View File

@ -1133,10 +1133,16 @@ self: super: builtins.intersectAttrs super {
preCheck = "export CI=true";
}) super.aeson-typescript;
# 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 "-foptimise-heavily" super.Agda;
Agda = lib.pipe super.Agda [
# 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
(enableCabalFlag "optimise-heavily")
# Enable debug printing, which worsens performance slightly but is
# very useful.
# Flag added in Agda 2.6.4.1, was always enabled before
(enableCabalFlag "debug")
];
# ats-format uses cli-setup in Setup.hs which is quite happy to write
# to arbitrary files in $HOME. This doesn't either not achieve anything