diff options
-rw-r--r-- | clang/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clang/CMakeLists.txt b/clang/CMakeLists.txt index 1482b17abcc2..9af43440b4aa 100644 --- a/clang/CMakeLists.txt +++ b/clang/CMakeLists.txt @@ -410,7 +410,7 @@ option(CLANG_ENABLE_STATIC_ANALYZER "Build static analyzer." ON) set(CLANG_ANALYZER_Z3_INSTALL_DIR "" CACHE STRING "Install directory of the Z3 solver.") -find_package(Z3 4.7.1 EXACT) +find_package(Z3 4.7.1) if (CLANG_ANALYZER_Z3_INSTALL_DIR) if (NOT Z3_FOUND) |