From 2018de5d8f405d6e356a3e97d600e8b2042e3e15 Mon Sep 17 00:00:00 2001 From: Mehdi Amini Date: Sun, 27 Aug 2017 20:24:23 +0000 Subject: [PATCH] CMake: only try to find the Z3 package when `CLANG_ANALYZER_BUILD_Z3` is ON This avoids the spurious message: Could NOT find Z3 (missing: Z3_LIBRARIES Z3_INCLUDE_DIR) (Required is at least version "4.5") git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@311858 91177308-0d34-0410-b5e6-96231b3b80d8 --- CMakeLists.txt | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index c1da2cff1b..a4a0c2c63b 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -187,8 +187,6 @@ if (LIBXML2_FOUND) set(CLANG_HAVE_LIBXML 1) endif() -find_package(Z3 4.5) - include(CheckIncludeFile) check_include_file(sys/resource.h CLANG_HAVE_RLIMITS) @@ -384,6 +382,7 @@ if(NOT CLANG_ENABLE_STATIC_ANALYZER AND (CLANG_ENABLE_ARCMT OR CLANG_ANALYZER_BU endif() if(CLANG_ANALYZER_BUILD_Z3) + find_package(Z3 4.5) if(Z3_FOUND) set(CLANG_ANALYZER_WITH_Z3 1) else() -- 2.40.0