From 9895bd603dd6a3419a180b58e29b8d394cf1c138 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Na=C3=AFm=20Camille=20Favier?= Date: Tue, 22 Jul 2025 10:56:32 +0200 Subject: [PATCH] haskellPackages.Agda: fix build on aarch64-darwin --- pkgs/development/haskell-modules/configuration-darwin.nix | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/pkgs/development/haskell-modules/configuration-darwin.nix b/pkgs/development/haskell-modules/configuration-darwin.nix index 56a86a5c74bf3..bee95e9cb5022 100644 --- a/pkgs/development/haskell-modules/configuration-darwin.nix +++ b/pkgs/development/haskell-modules/configuration-darwin.nix @@ -393,8 +393,12 @@ self: super: libraryHaskellDepends = drv.libraryHaskellDepends ++ [ self.file-embed ]; }) (disableCabalFlag "fixity-th" super.fourmolu); - # https://github.com/NixOS/nixpkgs/issues/149692 - Agda = disableCabalFlag "optimise-heavily" super.Agda; + Agda = lib.pipe super.Agda [ + # https://github.com/NixOS/nixpkgs/issues/149692 + (disableCabalFlag "optimise-heavily") + # https://github.com/agda/agda/issues/8016 + (appendConfigureFlag "--ghc-option=-Wwarn=deprecations") + ]; # https://github.com/NixOS/nixpkgs/issues/198495 eventsourcing-postgresql = dontCheck super.eventsourcing-postgresql;