diff --git a/pkgs/development/haskell-modules/configuration-common.nix b/pkgs/development/haskell-modules/configuration-common.nix
index bd174babd549f..5d09097744b3b 100644
--- 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);