Author: mehdi_amini Date: Sun Aug 27 13:24:23 2017 New Revision: 311858 URL: http://llvm.org/viewvc/llvm-project?rev=311858&view=rev Log: 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") Modified: cfe/trunk/CMakeLists.txt Modified: cfe/trunk/CMakeLists.txt URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/CMakeLists.txt?rev=311858&r1=311857&r2=311858&view=diff ============================================================================== --- cfe/trunk/CMakeLists.txt (original) +++ cfe/trunk/CMakeLists.txt Sun Aug 27 13:24:23 2017 @@ -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 endif() if(CLANG_ANALYZER_BUILD_Z3) + find_package(Z3 4.5) if(Z3_FOUND) set(CLANG_ANALYZER_WITH_Z3 1) else() _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits