diff options
Diffstat (limited to 'src/base/CMakeLists.txt')
| -rw-r--r-- | src/base/CMakeLists.txt | 7 |
1 files changed, 5 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) # |