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 /pkgs/development/haskell-modules/configuration-darwin.nix | |
| parent | b40d1bc8d707763321b389044c3fc4ed024c6b8b (diff) | |
agda: enable debug printing
Diffstat (limited to 'pkgs/development/haskell-modules/configuration-darwin.nix')
| -rw-r--r-- | pkgs/development/haskell-modules/configuration-darwin.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/haskell-modules/configuration-darwin.nix b/pkgs/development/haskell-modules/configuration-darwin.nix index e306884cf4fdc..e6400e2c46c85 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 |