diff options
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/CMakeLists.txt | 7 | ||||
-rw-r--r-- | src/base/git_versioninfo.cpp.in | 5 |
2 files changed, 10 insertions, 2 deletions
diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt index ea44c4fc3..dc0b7c09c 100644 --- a/src/base/CMakeLists.txt +++ b/src/base/CMakeLists.txt @@ -1,3 +1,5 @@ +configure_file(git_versioninfo.cpp.in git_versioninfo.cpp) + set(base_src_files configuration.cpp configuration.h @@ -15,8 +17,9 @@ set(base_src_files output.h ) -add_library(base SHARED ${base_src_files}) -set_target_properties(base PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4LIB) +add_library(base + ${base_src_files} ${CMAKE_CURRENT_BINARY_DIR}/git_versioninfo.cpp) +target_compile_definitions(base PRIVATE -D__BUILDING_CVC4LIB) add_dependencies(base tags_headers) # diff --git a/src/base/git_versioninfo.cpp.in b/src/base/git_versioninfo.cpp.in new file mode 100644 index 000000000..e601a851a --- /dev/null +++ b/src/base/git_versioninfo.cpp.in @@ -0,0 +1,5 @@ +#include "base/configuration.h" +const bool ::CVC4::Configuration::IS_GIT_BUILD = true; +const char* const ::CVC4::Configuration::GIT_BRANCH_NAME = "@GIT_BRANCH@"; +const char* const ::CVC4::Configuration::GIT_COMMIT = "@GIT_SHA1@"; +const bool ::CVC4::Configuration::GIT_HAS_MODIFICATIONS = @GIT_IS_DIRTY@; |