From 74ea317f8ab2cd995ec7a3c7cc064d2fe0507268 Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 15 Aug 2019 05:35:38 -0700
Subject: [PATCH] cmake: Use ExactVersion instead of SameMinorVersion. (#3191)

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index e9e684b6e..f761fbf88 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -502,7 +502,7 @@ configure_package_config_file(
 write_basic_package_version_file(
   ${CMAKE_CURRENT_BINARY_DIR}/CVC4ConfigVersion.cmake
   VERSION ${CVC4_RELEASE_STRING}
-  COMPATIBILITY SameMinorVersion
+  COMPATIBILITY ExactVersion
 )
 
 install(FILES
-- 
2.30.2