From d275396d89085aab0b66e14af22df972633815f6 Mon Sep 17 00:00:00 2001
From: Filippo Cremonese <filippocremonese@rev.ng>
Date: Fri, 11 Sep 2020 17:02:06 +0200
Subject: [PATCH] Disable Z3 in LLVM
---
.orchestra/config/components/llvm_common.lib.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.orchestra/config/components/llvm_common.lib.yml b/.orchestra/config/components/llvm_common.lib.yml
index 73d5068..fdf8137 100644
--- a/.orchestra/config/components/llvm_common.lib.yml
+++ b/.orchestra/config/components/llvm_common.lib.yml
@@ -23,6 +23,7 @@
-DLLVM_ENABLE_DUMP=ON \
-DLLVM_ENABLE_TERMINFO=OFF \
-DLIBCXX_ENABLE_ABI_LINKER_SCRIPT=OFF \
+ -DLLVM_ENABLE_Z3_SOLVER=OFF \
(@= expand_args(additional_cmake_options) @) \
-Wno-dev
#@ end
--
GitLab