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) _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits