maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

cmake: z3: Remove EXACT from 4.7.1 after being compatible with 4.8.1 

After check-in of D54391 a comment there by @mikhail.ramalho says:
Since we're supporting version 4.8.1 now, the cmake file should be changed to
"minimum" instead of "exact".

Differential Revision: https://reviews.llvm.org/D54535

llvm-svn: 347152
This commit is contained in:
Jan Kratochvil 2018-11-18 09:36:36 +00:00
parent cd94a7c227
commit fe90e2bc5b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
clang/CMakeLists.txt
View File

@ -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.") 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 (CLANG_ANALYZER_Z3_INSTALL_DIR)
if (NOT Z3_FOUND) if (NOT Z3_FOUND)