[all-commits] [llvm/llvm-project] fb3434: Change CMake so that we only look for Z3 when LLVM...

[Zion via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: fb34345e363ae00e6a2f7979ef524f4a4ffae582
      https://github.com/llvm/llvm-project/commit/fb34345e363ae00e6a2f7979ef524f4a4ffae582
  Author: Zion Nimchuk <zionnimchuk at gmail.com>
  Date:   2020-06-23 (Tue, 23 Jun 2020)

  Changed paths:
    M llvm/CMakeLists.txt

  Log Message:
  -----------
  Change CMake so that we only look for Z3 when LLVM_ENABLE_Z3_SOLVER is enabled

Reviewers: mikhail.ramalho

Reviewed By: mikhail.ramalho

Subscribers: mehdi_amini, mgorny, mikhail.ramalho, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D75544