haskellPackages.crucible-llvm: provide test dependency z3

2025-05-02 00:04:18 +02:00
parent 1f27ec8222
commit bb5df8dd9e
2 changed files with 5 additions and 1 deletions
@@ -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
@@ -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