lean: fix build with CMake 4.0 (#450357) (bb1d6c1c) · Commits · nix / nixpkgs

pkgs/by-name/le/lean/package.nix

+4 −0

Original line number	Diff line number	Diff line
		@@ -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;