diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-14 17:32:26 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 83cd63d83ea71cb8a04ffc5dd1f9c409b7451df6 (patch) | |
tree | 30b99c56d01a2806fa7d7f1378320d8de95a4a92 /src/base | |
parent | 7023f79262f8fbab78163f4dd5778bd2c62bc2c1 (diff) |
cmake: Cleanup CMakeLists.txt files, remove SHARED.
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@; |