From 4eb326620ada1e336c5e69e51420f05dbdcdbcdd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Robert=20Sch=C3=BCtz?= <nix@dotlambda.de>
Date: Thu, 9 Oct 2025 09:19:28 -0700
Subject: [PATCH] lean: fix build with CMake 4.0

---
 pkgs/by-name/le/lean/package.nix | 4 ++++
 1 file changed, 4 insertions(+)

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;