haskellPackages.{hz3,z3}: fix build with new z3

NixOS · Nov 22, 2024 · 77366cb · 77366cb
1 parent bc977af
commit 77366cb
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix
@@ -1137,6 +1137,20 @@ self: super: {
     '';
   }) super.cryptol;
 
+  inherit (
+    let
+      fixZ3 = z3: overrideCabal (drv: {
+        preBuild = drv.preBuild or "" + ''
+          # These constants were removed in z3 4.11.
+          export NIX_CFLAGS_COMPILE="-DZ3_bool=bool -DZ3_TRUE=true -DZ3_FALSE=false"
+        '';
+      }) z3;
+    in {
+      hz3 = fixZ3 super.hz3;
+      z3 = fixZ3 super.z3;
+    }
+  ) hz3 z3;
+
   # Tests try to invoke external process and process == 1.4
   grakn = dontCheck (doJailbreak super.grakn);