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

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

mati865 planned changes to this revision.
mati865 added a comment.

I'll update it soon.



================
Comment at: llvm/lib/Support/CMakeLists.txt:195
   ${Backtrace_INCLUDE_DIRS}
   LINK_LIBS ${system_libs} ${imported_libs} ${delayload_flags} ${Z3_LINK_FILES}
   )
----------------
Actually I forgot to remove `${Z3_LINK_FILES}` here.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D85195/new/

https://reviews.llvm.org/D85195