From f820341430a30ca6fabb9cb919adaae9f4aa5ca4 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 26 May 2020 14:42:29 -0700 Subject: [PATCH] chore: update stage0 --- stage0/src/CMakeLists.txt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/stage0/src/CMakeLists.txt b/stage0/src/CMakeLists.txt index 0781031d8c..e9b7d179f3 100644 --- a/stage0/src/CMakeLists.txt +++ b/stage0/src/CMakeLists.txt @@ -553,8 +553,8 @@ else() endif() # leancpp and Init are cyclically dependent target_link_libraries(Init INTERFACE leancpp) -target_link_libraries(Std INTERFACE leancpp) -target_link_libraries(Lean INTERFACE leancpp Std) +target_link_libraries(Std INTERFACE leancpp Init) +target_link_libraries(Lean INTERFACE leancpp Std Init) target_link_libraries(leancpp INTERFACE Init Std Lean ${EXTRA_LIBS}) if(LLVM) @@ -563,7 +563,7 @@ endif() add_custom_target(update-stage0 COMMAND cmake -E env LIB=${CMAKE_BINARY_DIR}/lib bash script/update-stage0 - DEPENDS Init Std + DEPENDS Init Std Lean WORKING_DIRECTORY "${LIB_SOURCE_DIR}/..") configure_file("${LEAN_SOURCE_DIR}/bin/leanc.in" "${CMAKE_BINARY_DIR}/bin/leanc" @ONLY)