Skip to content
Snippets Groups Projects
Commit d275396d authored by Filippo Cremonese's avatar Filippo Cremonese
Browse files

Disable Z3 in LLVM

parent c9c9f7fb
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
.orchestra/config/components/llvm_common.lib.yml
+ 1
− 0
View file @ d275396d
......@@ -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
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment