From bb5df8dd9eaf1757047d12e5246a554118dbef21 Mon Sep 17 00:00:00 2001 From: sternenseemann Date: Thu, 1 May 2025 16:55:38 +0200 Subject: [PATCH] haskellPackages.crucible-llvm: provide test dependency z3 --- .../haskell-modules/configuration-hackage2nix/broken.yaml | 1 - pkgs/development/haskell-modules/configuration-nix.nix | 5 +++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/pkgs/development/haskell-modules/configuration-hackage2nix/broken.yaml b/pkgs/development/haskell-modules/configuration-hackage2nix/broken.yaml index 1828da16f9af..dd1e86a3bf02 100644 --- a/pkgs/development/haskell-modules/configuration-hackage2nix/broken.yaml +++ b/pkgs/development/haskell-modules/configuration-hackage2nix/broken.yaml @@ -1082,7 +1082,6 @@ broken-packages: - crockford # failure in job https://hydra.nixos.org/build/233210759 at 2023-09-02 - crocodile # failure in job https://hydra.nixos.org/build/233222277 at 2023-09-02 - cronus # failure in job https://hydra.nixos.org/build/233225303 at 2023-09-02 - - crucibile-llvm # what4 >=1.7 https://hydra.nixos.org/build/295428376 - cruncher-types # failure in job https://hydra.nixos.org/build/233229024 at 2023-09-02 - crunghc # failure in job https://hydra.nixos.org/build/233193295 at 2023-09-02 - crux # simple-get-opt <0.5 https://hydra.nixos.org/build/295428379 diff --git a/pkgs/development/haskell-modules/configuration-nix.nix b/pkgs/development/haskell-modules/configuration-nix.nix index ab3a42259dc0..72e1f74cbb0e 100644 --- a/pkgs/development/haskell-modules/configuration-nix.nix +++ b/pkgs/development/haskell-modules/configuration-nix.nix @@ -825,6 +825,11 @@ builtins.intersectAttrs super { ]; }) super.crucible-symio; + # Test suite requires z3 to be in PATH + crucible-llvm = addTestToolDepends [ + pkgs.z3 + ] super.crucible-llvm; + # Compile manpages (which are in RST and are compiled with Sphinx). futhark = overrideCabal