projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 044891b)
cmake: Use ExactVersion instead of SameMinorVersion. (#3191)
authorMathias Preiner <mathias.preiner@gmail.com>
Thu, 15 Aug 2019 12:35:38 +0000 (05:35 -0700)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 15 Aug 2019 12:35:38 +0000 (07:35 -0500)
CMakeLists.txt patch | blob | history

diff --git a/CMakeLists.txt b/CMakeLists.txt
index e9e684b6e677957decb279435caf80304ced8b7d..f761fbf8848088fbdb1a26688d5cf2f6f340ebb8 100644 (file)
--- 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