maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Add Z3 to system libraries list if enabled 

Without this trying to link static LLVM libraries (built with Z3 enabled) fails because `llvm-config` doesn't print `-lz3`.
We are already using this patch at MSYS2: https://github.com/msys2/MINGW-packages/blob/master/mingw-w64-clang/0013-Add-Z3-to-system-libraries-list-if-enabled.patch

Reviewed By: mikhail.ramalho

Differential Revision: https://reviews.llvm.org/D85195
This commit is contained in:
Mikhail R. Gadelha 2020-08-25 19:19:58 -04:00
parent 1d1515a9e2
commit 30967e51da
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
llvm/lib/Support/CMakeLists.txt
View File

@ -57,9 +57,7 @@ endif()
# Link Z3 if the user wants to build it. # Link Z3 if the user wants to build it.
if(LLVM_WITH_Z3) if(LLVM_WITH_Z3)
set(Z3_LINK_FILES ${Z3_LIBRARIES}) set(system_libs ${system_libs} ${Z3_LIBRARIES})
else()
set(Z3_LINK_FILES "")
endif() endif()
add_llvm_component_library(LLVMSupport add_llvm_component_library(LLVMSupport
@ -206,7 +204,7 @@ add_llvm_component_library(LLVMSupport
${LLVM_MAIN_INCLUDE_DIR}/llvm/ADT ${LLVM_MAIN_INCLUDE_DIR}/llvm/ADT
${LLVM_MAIN_INCLUDE_DIR}/llvm/Support ${LLVM_MAIN_INCLUDE_DIR}/llvm/Support
${Backtrace_INCLUDE_DIRS} ${Backtrace_INCLUDE_DIRS}
LINK_LIBS ${system_libs} ${imported_libs} ${delayload_flags} ${Z3_LINK_FILES} LINK_LIBS ${system_libs} ${imported_libs} ${delayload_flags}
) )
set(llvm_system_libs ${system_libs}) set(llvm_system_libs ${system_libs})