From ac72c1454826130bae9b6ec727ab29fdbac59a81 Mon Sep 17 00:00:00 2001 From: Artem Dinaburg Date: Wed, 20 May 2020 13:38:45 -0400 Subject: [PATCH] Help older LLVMs find our Z3 --- pkgman/installers/common.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgman/installers/common.py b/pkgman/installers/common.py index ec6de997..a6638ed9 100644 --- a/pkgman/installers/common.py +++ b/pkgman/installers/common.py @@ -599,9 +599,9 @@ def common_installer_llvm(properties): "-DLLVM_INCLUDE_TESTS=OFF"] if properties["llvm_has_z3"]: - cmake_command += ["-DLLVM_ENABLE_Z3_SOLVER=ON", "-DLLVM_Z3_INSTALL_DIR=" + os.path.join(repository_path, "z3")] + cmake_command += ["-DLLVM_ENABLE_Z3_SOLVER=ON", "-DLLVM_Z3_INSTALL_DIR=" + os.path.join(repository_path, "z3"), "-DCLANG_ANALYZER_Z3_INSTALL_DIR=" + os.path.join(repository_path, "z3")] else: - cmake_command += ["-DLLVM_ENABLE_Z3_SOLVER=OFF"] + cmake_command += ["-DLLVM_ENABLE_Z3_SOLVER=OFF", "-DCLANG_ANALYZER_ENABLE_Z3_SOLVER=OFF"] if properties["ccache"]: print(" i Enabling ccache on /cache ... ")