mirror of
https://github.com/AdaCore/cvc5.git
synced 2026-02-12 12:32:16 -08:00
14 lines
426 B
CMake
14 lines
426 B
CMake
# These are updated when making a release
|
|
set(CVC5_LAST_RELEASE "1.0.0")
|
|
set(CVC5_IS_RELEASE "false")
|
|
|
|
# These are used in other places in cmake
|
|
# If possible, they are updated by version.cmake
|
|
set(GIT_BUILD "false")
|
|
set(CVC5_VERSION "${CVC5_LAST_RELEASE}")
|
|
set(CVC5_FULL_VERSION "${CVC5_LAST_RELEASE}")
|
|
set(CVC5_GIT_INFO "")
|
|
|
|
# Shared library versioning. Increment SOVERSION for every new cvc5 release.
|
|
set(CVC5_SOVERSION 1)
|