diff options
Diffstat (limited to 'CMakeLists.txt')
-rw-r--r-- | CMakeLists.txt | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 264daa615..f46d3ce30 100644 --- 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. |