From bebbcff855b79ebbb899ee306f333222199f771f Mon Sep 17 00:00:00 2001 From: Nicolas Rouquette Date: Fri, 26 Dec 2025 16:23:58 -0800 Subject: [PATCH] Adds missing dependencies for copy-leancpp target Ensures leanrt_initial-exec, leanrt, and leancpp_1 targets wait for copy-leancpp to complete before building. Fixes potential build race conditions in stage 2+ builds. --- src/CMakeLists.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt index 219163553904..118d346d87d8 100644 --- a/src/CMakeLists.txt +++ b/src/CMakeLists.txt @@ -631,6 +631,9 @@ if(${STAGE} GREATER 1) COMMAND cmake -E copy_if_different "${PREV_STAGE}/lib/lean/libleanrt.a" "${CMAKE_BINARY_DIR}/lib/lean/libleanrt.a" COMMAND cmake -E copy_if_different "${PREV_STAGE}/lib/lean/libleancpp.a" "${CMAKE_BINARY_DIR}/lib/lean/libleancpp.a" COMMAND cmake -E copy_if_different "${PREV_STAGE}/lib/temp/libleancpp_1.a" "${CMAKE_BINARY_DIR}/lib/temp/libleancpp_1.a") + add_dependencies(leanrt_initial-exec copy-leancpp) + add_dependencies(leanrt copy-leancpp) + add_dependencies(leancpp_1 copy-leancpp) add_dependencies(leancpp copy-leancpp) if(LLVM) add_custom_target(copy-lean-h-bc