From aa65b426e7dd14abc21d876a55e90a7573d0ef9c Mon Sep 17 00:00:00 2001 From: Wolfgang Walther Date: Sun, 13 Apr 2025 22:09:36 +0200 Subject: [PATCH] haskellPackages.copilot-theorem: fix build --- pkgs/development/haskell-modules/configuration-common.nix | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix index de31a5a203d4..7867817aabee 100644 --- a/pkgs/development/haskell-modules/configuration-common.nix +++ b/pkgs/development/haskell-modules/configuration-common.nix @@ -3001,6 +3001,10 @@ self: super: dontCheck ]; + copilot-theorem = lib.pipe super.copilot-theorem [ + (addTestToolDepends (with pkgs; [ z3 ])) + ]; + # 2025-04-09: jailbreak to allow mtl >= 2.3, template-haskell >= 2.17, text >= 1.3 egison-pattern-src-th-mode = assert super.egison-pattern-src-th-mode.version == "0.2.1.2";