[all-commits] [llvm/llvm-project] 30967e: Add Z3 to system libraries list if enabled

[Mikhail R. Gadelha via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 30967e51da614fc814f439a925fabbb12f223919
      https://github.com/llvm/llvm-project/commit/30967e51da614fc814f439a925fabbb12f223919
  Author: Mikhail R. Gadelha <mikhail.ramalho at gmail.com>
  Date:   2020-08-25 (Tue, 25 Aug 2020)

  Changed paths:
    M llvm/lib/Support/CMakeLists.txt

  Log Message:
  -----------
  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