diff options
| author | Nikita Popov <nikita.ppv@gmail.com> | 2019-07-17 16:59:14 +0200 |
|---|---|---|
| committer | Nikita Popov <nikita.ppv@gmail.com> | 2019-07-17 16:59:14 +0200 |
| commit | f8eb2a617e2386b4eb7452696488f329850bb676 (patch) | |
| tree | 54ba9db18f60e684b81e02e1777751df32856834 | |
| parent | d56128d2919132aceaf74cc3c68a4554f5445fce (diff) | |
Disable Z3 in LLVM build
| -rw-r--r-- | src/bootstrap/native.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bootstrap/native.rs b/src/bootstrap/native.rs index f8d1abe2994..b25dc39378a 100644 --- a/src/bootstrap/native.rs +++ b/src/bootstrap/native.rs @@ -150,6 +150,7 @@ impl Step for Llvm { .define("WITH_POLLY", "OFF") .define("LLVM_ENABLE_TERMINFO", "OFF") .define("LLVM_ENABLE_LIBEDIT", "OFF") + .define("LLVM_ENABLE_Z3_SOLVER", "OFF") .define("LLVM_PARALLEL_COMPILE_JOBS", builder.jobs().to_string()) .define("LLVM_TARGET_ARCH", target.split('-').next().unwrap()) .define("LLVM_DEFAULT_TARGET_TRIPLE", target); |