diff --git a/pkgs/by-name/le/lean/package.nix b/pkgs/by-name/le/lean/package.nix
index a7b856e2da8f..dd20f65e9431 100644
--- a/pkgs/by-name/le/lean/package.nix
+++ b/pkgs/by-name/le/lean/package.nix
@@ -37,6 +37,10 @@ stdenv.mkDerivation rec {
 
   cmakeDir = "../src";
 
+  cmakeFlags = [
+    (lib.cmakeFeature "CMAKE_POLICY_VERSION_MINIMUM" "3.10")
+  ];
+
   # Running the tests is required to build the *.olean files for the core
   # library.
   doCheck = true;