Add new versioning scheme (#7253)
authorGereon Kremer <nafur42@gmail.com>
Thu, 7 Oct 2021 14:51:09 +0000 (07:51 -0700)
committerGitHub <noreply@github.com>
Thu, 7 Oct 2021 14:51:09 +0000 (14:51 +0000)
commitbd41ade5f0eee5afe8bc7f6c7c3ca76f1fa296b4
treea0195e7bb0daab6fe8ba063bac628ccb1a0acf95
parent22ab38c4a3bad18129c740968b36af8c378c4294
Add new versioning scheme (#7253)

This introduces a new versioning mechanism that allows for better automation.
18 files changed:
CMakeLists.txt
cmake/version-base.cmake [new file with mode: 0644]
cmake/version-base.cmake.template [new file with mode: 0644]
cmake/version.cmake [new file with mode: 0644]
contrib/make-release.py [new file with mode: 0755]
src/CMakeLists.txt
src/api/java/CMakeLists.txt
src/api/python/setup.py.in
src/base/CMakeLists.txt
src/base/GitInfo.cmake.in [deleted file]
src/base/configuration.cpp
src/base/configuration.h
src/base/cvc5config.h.in
src/base/git_versioninfo.cpp.in [deleted file]
src/base/versioninfo.cpp.in [new file with mode: 0644]
src/main/driver_unified.cpp
src/options/options_handler.cpp
test/unit/util/configuration_black.cpp