• Home
• tools.aqua
• cvc5-turnkey
• 1.2.0
• source code
• version-base.cmake.template

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

cvc5-cvc5-1.2.0.cmake.version-base.cmake.template Maven / Gradle / Ivy

# These are updated when making a release
set(CVC5_LAST_RELEASE "{{VERSION}}")
set(CVC5_IS_RELEASE "{{IS_RELEASE}}")

# 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)