lean: fix build with CMake 4.0

2025-10-09 09:19:28 -07:00
parent 531f6038cf
commit 4eb326620a
1 changed files with 4 additions and 0 deletions
--- 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;