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

[Jan Kratochvil via cfe-commits]

Author: jankratochvil
Date: Sun Nov 18 01:36:36 2018
New Revision: 347152

URL: http://llvm.org/viewvc/llvm-project?rev=347152&view=rev
Log:
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

Modified:
    cfe/trunk/CMakeLists.txt

Modified: cfe/trunk/CMakeLists.txt
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/CMakeLists.txt?rev=347152&r1=347151&r2=347152&view=diff
==============================================================================
--- cfe/trunk/CMakeLists.txt (original)
+++ cfe/trunk/CMakeLists.txt Sun Nov 18 01:36:36 2018
@@ -410,7 +410,7 @@ option(CLANG_ENABLE_STATIC_ANALYZER "Bui
 
 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)