History

euprunin 2ea675369f chore: fix spelling mistakes (#7328 ) Co-authored-by: euprunin <euprunin@users.noreply.github.com>		2025-04-07 01:15:48 +00:00
..
FindGMP.cmake
FindLibUV.cmake	fix: Windows stage0 linking (#6622 )	2025-01-14 09:09:50 +01:00
FindWindowsSDK.cmake	chore: fix spelling mistakes (#7328 )	2025-04-07 01:15:48 +00:00
GetGitRevisionDescription.cmake	feat: compile against Windows SDK headers under Windows (#5753 )	2024-10-22 13:00:02 +00:00
GetGitRevisionDescription.cmake.in	feat: compile against Windows SDK headers under Windows (#5753 )	2024-10-22 13:00:02 +00:00
README.md	feat: compile against Windows SDK headers under Windows (#5753 )	2024-10-22 13:00:02 +00:00

README.md

CMake modules required for building Lean

The files GetGitRevisionDescription.cmake, GetGitRevisionDescription.cmake.in and FindWindowsSDK.cmake are part of the cmake-modules project by Rylie Pavlik. They are licensed under the Boost Software License, Version 1.0.

The modules should be updated when a new version of the Windows SDK is released. To do so, obtain an up-to-date checkout of the cmake-modules project from https://github.com/rpavlik/cmake-modules and run the following command from the root of the cmake-modules repository:

./update-modules.sh /path-to-lean4-repo/src/cmake/Modules