From d88a77830cf47d0c1e02c49acf72fcc17a29f132 Mon Sep 17 00:00:00 2001 From: Artem Dinaburg Date: Sat, 16 May 2020 02:19:23 -0400 Subject: [PATCH] Update common.py Disable z3 solver requirement in base; can re-enable it and ship a custom z3 if needed. --- pkgman/installers/common.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgman/installers/common.py b/pkgman/installers/common.py index 93c5c067..f82c3204 100644 --- a/pkgman/installers/common.py +++ b/pkgman/installers/common.py @@ -584,7 +584,7 @@ def common_installer_llvm(properties): cmake_command = ["cmake"] + get_env_compiler_settings() + get_cmake_build_type(debug) + ["-DCMAKE_INSTALL_PREFIX=" + destination_path, "-DCMAKE_CXX_STANDARD="+cppstd, "-DLLVM_TARGETS_TO_BUILD=" + arch_list, "-DLLVM_ENABLE_RTTI=ON", "-DLLVM_INCLUDE_EXAMPLES=OFF", - "-DLLVM_INCLUDE_TESTS=OFF"] + "-DLLVM_INCLUDE_TESTS=OFF", "-DLLVM_ENABLE_Z3_SOLVER=OFF"] if properties["ccache"]: print(" i Enabling ccache on /cache ... ")