diff options
| author | Leonard Chan <leonardchan@google.com> | 2020-05-14 17:00:11 -0700 |
|---|---|---|
| committer | Leonard Chan <leonardchan@google.com> | 2020-05-14 17:03:58 -0700 |
| commit | 592303a53e6bc0737c3999e91aab9ea2147f73ab (patch) | |
| tree | 7bc07088c5f43a4ca5350ddac7fccfe6154d734d /lldb/packages/Python/lldbsuite/test/configuration.py | |
| parent | e0c155427408814ceff22d16352331006eb81b6b (diff) | |
| download | llvm-592303a53e6bc0737c3999e91aab9ea2147f73ab.zip llvm-592303a53e6bc0737c3999e91aab9ea2147f73ab.tar.gz llvm-592303a53e6bc0737c3999e91aab9ea2147f73ab.tar.bz2 | |
[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
Diffstat (limited to 'lldb/packages/Python/lldbsuite/test/configuration.py')
0 files changed, 0 insertions, 0 deletions