diff --git a/pkgs/by-name/cv/cvc4/package.nix b/pkgs/by-name/cv/cvc4/package.nix
index 8748d1e57926..bbdca9be0ac8 100644
--- a/pkgs/by-name/cv/cvc4/package.nix
+++ b/pkgs/by-name/cv/cvc4/package.nix
@@ -72,6 +72,10 @@ stdenv.mkDerivation rec {
 
         sed -i '/#define CVC4__UTIL__REGEXP_H/a\
     #include <cstddef>' src/util/regexp.h
+
+    # Fix CMake 4 build
+    substituteInPlace CMakeLists.txt --replace-fail \
+      "cmake_minimum_required(VERSION 3.2)" "cmake_minimum_required(VERSION 3.10)"
   '';
 
   preConfigure = ''