This revision was not accepted when it landed; it landed in state "Needs Review". This revision was automatically updated to reflect the committed changes. Closed by commit rC347152: cmake: z3: Remove EXACT from 4.7.1 after being compatible with 4.8.1 (authored by jankratochvil, committed by ).
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)
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)
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
