From 32fd82efc2eaf1232299e930ec16624b370eac39 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Wed, 14 Apr 2021 20:37:07 +0200 Subject: [PATCH] fix: link `lean` statically against GMP again --- src/shell/CMakeLists.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/shell/CMakeLists.txt b/src/shell/CMakeLists.txt index 0611478228..d2b79a457f 100644 --- a/src/shell/CMakeLists.txt +++ b/src/shell/CMakeLists.txt @@ -1,7 +1,7 @@ add_library(shell OBJECT lean.cpp) add_custom_command(OUTPUT ${CMAKE_BINARY_DIR}/bin/lean${CMAKE_EXECUTABLE_SUFFIX} - COMMAND sh -c "${CMAKE_BINARY_DIR}/bin/leanc -x none ${CMAKE_EXE_LINKER_FLAGS} $ -o ${CMAKE_BINARY_DIR}/bin/lean${CMAKE_EXECUTABLE_SUFFIX}" + COMMAND sh -c "LEANC_GMP=${GMP_LIBRARIES} ${CMAKE_BINARY_DIR}/bin/leanc -x none ${CMAKE_EXE_LINKER_FLAGS} $ -o ${CMAKE_BINARY_DIR}/bin/lean${CMAKE_EXECUTABLE_SUFFIX}" DEPENDS Init Std Lean leancpp shell) add_custom_target(lean ALL