From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Thu, 15 Aug 2019 12:35:38 +0000 (-0700)
Subject: cmake: Use ExactVersion instead of SameMinorVersion. (#3191)
X-Git-Tag: cvc5-1.0.0~4010
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=74ea317f8ab2cd995ec7a3c7cc064d2fe0507268;p=cvc5.git

cmake: Use ExactVersion instead of SameMinorVersion. (#3191)
---

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