diff options
author | Naïm Favier <n@monade.li> | 2024-01-06 15:00:33 +0100 |
---|---|---|
committer | Naïm Favier <n@monade.li> | 2024-01-06 15:00:33 +0100 |
commit | 0e15c844a9c2c4a2b315b7a7aac40c093663938c (patch) | |
tree | 9ecf105ef82c0421cb2aec0c81cb8f4315208aed | |
parent | b40d1bc8d707763321b389044c3fc4ed024c6b8b (diff) | |
download | nixlib-0e15c844a9c2c4a2b315b7a7aac40c093663938c.tar nixlib-0e15c844a9c2c4a2b315b7a7aac40c093663938c.tar.gz nixlib-0e15c844a9c2c4a2b315b7a7aac40c093663938c.tar.bz2 nixlib-0e15c844a9c2c4a2b315b7a7aac40c093663938c.tar.lz nixlib-0e15c844a9c2c4a2b315b7a7aac40c093663938c.tar.xz nixlib-0e15c844a9c2c4a2b315b7a7aac40c093663938c.tar.zst nixlib-0e15c844a9c2c4a2b315b7a7aac40c093663938c.zip |
agda: enable debug printing
-rw-r--r-- | pkgs/development/haskell-modules/configuration-darwin.nix | 2 | ||||
-rw-r--r-- | pkgs/development/haskell-modules/configuration-nix.nix | 14 |
2 files changed, 11 insertions, 5 deletions
diff --git a/pkgs/development/haskell-modules/configuration-darwin.nix b/pkgs/development/haskell-modules/configuration-darwin.nix index e306884cf4fd..e6400e2c46c8 100644 --- a/pkgs/development/haskell-modules/configuration-darwin.nix +++ b/pkgs/development/haskell-modules/configuration-darwin.nix @@ -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 diff --git a/pkgs/development/haskell-modules/configuration-nix.nix b/pkgs/development/haskell-modules/configuration-nix.nix index cecd27e023da..309426c67a14 100644 --- a/pkgs/development/haskell-modules/configuration-nix.nix +++ b/pkgs/development/haskell-modules/configuration-nix.nix @@ -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 |