[PATCH] D54535: cmake: z3: Remove EXACT from 4.7.1 after being compatible with 4.8.1

[Jan Kratochvil via Phabricator via cfe-commits]

jankratochvil created this revision.
jankratochvil added a reviewer: mikhail.ramalho.
jankratochvil added a project: clang.
Herald added subscribers: cfe-commits, mgorny.

D54391 comment by @mikhail.ramalho <https://reviews.llvm.org/D54391#1298429> says:

> Since we're supporting version 4.8.1 now, the cmake file should be changed to "minimum" instead of "exact".


Repository:
  rC Clang

https://reviews.llvm.org/D54535

Files:
  CMakeLists.txt


Index: CMakeLists.txt
===================================================================
--- CMakeLists.txt
+++ CMakeLists.txt
@@ -410,7 +410,7 @@
 
 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)


-------------- next part --------------
A non-text attachment was scrubbed...
Name: D54535.174054.patch
Type: text/x-patch
Size: 355 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20181114/96b1034e/attachment.bin>