[PATCH] D85195: Add Z3 to system libraries list if enabled

[Mateusz Mikuła via Phabricator via llvm-commits]

mati865 created this revision.
mati865 added a project: LLVM.
Herald added subscribers: llvm-commits, mstorsjo, mikhail.ramalho, hiraditya, mgorny.
mati865 requested review of this revision.

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


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D85195

Files:
  llvm/lib/Support/CMakeLists.txt


Index: llvm/lib/Support/CMakeLists.txt
===================================================================
--- llvm/lib/Support/CMakeLists.txt
+++ llvm/lib/Support/CMakeLists.txt
@@ -46,9 +46,7 @@
 
 # Link Z3 if the user wants to build it.
 if(LLVM_WITH_Z3)
-  set(Z3_LINK_FILES ${Z3_LIBRARIES})
-else()
-  set(Z3_LINK_FILES "")
+  set(system_libs ${system_libs} z3)
 endif()
 
 add_llvm_component_library(LLVMSupport


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D85195.282872.patch
Type: text/x-patch
Size: 419 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200804/bdefba0e/attachment.bin>