diff options
author | Weijia Wang <9713184+wegank@users.noreply.github.com> | 2023-01-22 01:15:09 +0100 |
---|---|---|
committer | sternenseemann <sternenseemann@systemli.org> | 2023-01-22 02:26:28 +0100 |
commit | f22cb238403a2f51fff67140c0459988fcf42b1c (patch) | |
tree | 38478166370b3f38d8d116529ad1fc59169b0054 /pkgs/development/haskell-modules/configuration-darwin.nix | |
parent | a29659d9430a9906e1f622f3a62823147680a67b (diff) |
agda: fix build on aarch64-darwin
Diffstat (limited to 'pkgs/development/haskell-modules/configuration-darwin.nix')
-rw-r--r-- | pkgs/development/haskell-modules/configuration-darwin.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/development/haskell-modules/configuration-darwin.nix b/pkgs/development/haskell-modules/configuration-darwin.nix index 11a6bc1fdfb21..2c40ee7711eef 100644 --- a/pkgs/development/haskell-modules/configuration-darwin.nix +++ b/pkgs/development/haskell-modules/configuration-darwin.nix @@ -308,6 +308,9 @@ self: super: ({ libraryHaskellDepends = drv.libraryHaskellDepends ++ [ self.file-embed ]; }) (disableCabalFlag "fixity-th" super.fourmolu); + # https://github.com/NixOS/nixpkgs/issues/149692 + Agda = removeConfigureFlag "-foptimise-heavily" super.Agda; + } // lib.optionalAttrs pkgs.stdenv.isx86_64 { # x86_64-darwin # tests appear to be failing to link or something: |