cmake: Add library versioning for libcvc4.so.

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 264daa61569157414f1db37b317b4b1e300490c5..f46d3ce301e183d4ea6ff774727283ecb656bd67 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -7,7 +7,7 @@ project(cvc4)
 # Major component of the version of CVC4.
 set(CVC4_MAJOR 1)
 # Minor component of the version of CVC4.
-set(CVC4_MINOR 6)
+set(CVC4_MINOR 7)
 # Release component of the version of CVC4.
 set(CVC4_RELEASE 0)
 # Extraversion component of the version of CVC4.
@@ -23,6 +23,10 @@ endif()
 # Define to the full name of this package.
 set(PACKAGE_NAME "${PROJECT_NAME}")
 
+# Shared library versioning. Increment SOVERSION for every new CVC4 release.
+set(CVC4_VERSION "${CVC4_MAJOR}.${CVC4_MINOR}.${CVC4_RELEASE}")
+set(CVC4_SOVERSION 5)
+
 #### These defines are only use in autotools make files, will likely be 
 #### replaced with corresponding CPack stuff
 ## Define to the full name and version of this package.

diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 8e8e0bd4554e324c4646e50a815fe6f42176806c..2e818bad5dbc212f13dc7fedff1e43e5d9309851 100644 (file)
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -605,6 +605,13 @@ set(cvc4_gen_src_files
 set_source_files_properties(${cvc4_gen_src_files} PROPERTIES GENERATED TRUE)
 
 add_library(cvc4 ${cvc4_src_files} ${cvc4_gen_src_files})
+
+set_target_properties(cvc4
+  PROPERTIES
+    VERSION ${CVC4_VERSION}
+    SOVERSION ${CVC4_SOVERSION}
+)
+
 target_compile_definitions(cvc4
   PRIVATE
     -D__BUILDING_CVC4LIB

diff --git a/src/parser/CMakeLists.txt b/src/parser/CMakeLists.txt
index ce4b354f31801a0615a0b92c3f335433d051233e..6a7f77ea35ccad5b8dbf2998ccc8c84cc3f2b054 100644 (file)
--- a/src/parser/CMakeLists.txt
+++ b/src/parser/CMakeLists.txt
@@ -24,6 +24,13 @@ set(cvc4parser_src_files
 )
 
 add_library(cvc4parser ${cvc4parser_src_files})
+
+set_target_properties(cvc4parser
+  PROPERTIES
+    VERSION ${CVC4_VERSION}
+    SOVERSION ${CVC4_SOVERSION}
+)
+
 target_compile_definitions(cvc4parser PRIVATE -D__BUILDING_CVC4PARSERLIB)
 target_link_libraries(cvc4parser parsercvc parsersmt1 parsersmt2 parsertptp cvc4)
 target_link_libraries(cvc4parser ${ANTLR_LIBRARIES})