[all-commits] [llvm/llvm-project] 592303: [Fuchsia] Do not enable the Z3 solver for a fuchsi...

[Leonard Chan via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 592303a53e6bc0737c3999e91aab9ea2147f73ab
      https://github.com/llvm/llvm-project/commit/592303a53e6bc0737c3999e91aab9ea2147f73ab
  Author: Leonard Chan <leonardchan at google.com>
  Date:   2020-05-14 (Thu, 14 May 2020)

  Changed paths:
    M clang/cmake/caches/Fuchsia-stage2.cmake

  Log Message:
  -----------
  [Fuchsia] Do not enable the Z3 solver for a fuchsia toolchain

gLinux started shipping incompatible versions of Z3, which can lead to a
missing `z3.h` header when building the Z3 solver locally. This patch
disables the Z3 solver when building a clang toolchain for Fuchsia.

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