From b37d2ce2b90dedc837be47afb4592f54e959cb69 Mon Sep 17 00:00:00 2001 From: Mac Malone Date: Fri, 26 Sep 2025 23:38:12 -0400 Subject: [PATCH] chore: use CMake build type in Lake core build (#10581) This PR alters the core build Lake configuration file to use the `CMAKE_BUILD_TYPE` for Lake's `buildType`. --- src/lakefile.toml.in | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/lakefile.toml.in b/src/lakefile.toml.in index 73107ef31c..7c557d1e24 100644 --- a/src/lakefile.toml.in +++ b/src/lakefile.toml.in @@ -10,6 +10,9 @@ bootstrap = true defaultTargets = ["Init", "Std", "Lean", "Lake", "LakeMain", "Leanc"] +# Ensure that Lake and CMake agree on the build type (e.g., `Release`, `Debug`) +buildType = "${CMAKE_BUILD_TYPE}" + # The root of all the compiler output directories buildDir = "${CMAKE_BINARY_DIR}"