diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-14 13:22:15 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | 7023f79262f8fbab78163f4dd5778bd2c62bc2c1 (patch) | |
| tree | 9fc4af412c386df97625ec4dfd1273597a995caf /src/base | |
| parent | 37cdc26762e4f5436c3e1403c92d4bc825eeced2 (diff) | |
cmake: Add build configurations.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/CMakeLists.txt | 116 |
1 files changed, 61 insertions, 55 deletions
diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt index 810ffa253..ea44c4fc3 100644 --- a/src/base/CMakeLists.txt +++ b/src/base/CMakeLists.txt @@ -17,6 +17,7 @@ set(base_src_files add_library(base SHARED ${base_src_files}) set_target_properties(base PROPERTIES COMPILE_DEFINITIONS __BUILDING_CVC4LIB) +add_dependencies(base tags_headers) # # Generate code for debug/trace tags @@ -26,70 +27,75 @@ set(mktagheaders_script ${CMAKE_CURRENT_LIST_DIR}/mktagheaders) file(GLOB_RECURSE source_files ${PROJECT_SOURCE_DIR}/src/*.cpp ${PROJECT_SOURCE_DIR}/src/*.cc ${PROJECT_SOURCE_DIR}/src/*.h ${PROJECT_SOURCE_DIR}/src/*.g) string(REPLACE ";" " " source_files_list "${source_files}") -add_custom_target( - debug_tags_tmp - COMMAND - ${mktags_script} - "Debug" - ${source_files_list} - > ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.tmp - DEPENDS mktags +add_custom_command( + OUTPUT Debug_tags.tmp + COMMAND + ${mktags_script} + "Debug" + ${source_files_list} + > ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.tmp + DEPENDS mktags ) -add_custom_target( - trace_tags_tmp - COMMAND - ${mktags_script} - "Trace" - ${source_files_list} - > ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.tmp - DEPENDS mktags +add_custom_command( + OUTPUT Trace_tags.tmp + COMMAND + ${mktags_script} + "Trace" + ${source_files_list} + > ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.tmp + DEPENDS mktags ) -add_custom_target( - debug_tags - COMMAND - diff -q - ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.tmp - ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags - &> /dev/null - || mv - ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.tmp - ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags - || true - DEPENDS debug_tags_tmp +add_custom_command( + OUTPUT Debug_tags + COMMAND + diff -q + ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.tmp + ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags + &> /dev/null + || mv + ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.tmp + ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags + || true + DEPENDS Debug_tags.tmp ) -add_custom_target( - trace_tags - COMMAND - diff -q - ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.tmp - ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags - &> /dev/null - || mv - ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.tmp - ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags - || true - DEPENDS trace_tags_tmp +add_custom_command( + OUTPUT Trace_tags + COMMAND + diff -q + ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.tmp + ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags + &> /dev/null + || mv + ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.tmp + ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags + || true + DEPENDS Trace_tags.tmp ) -add_custom_target( - debug_tags.h - COMMAND - ${mktagheaders_script} - "Debug_tags" - ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags - > ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.h - DEPENDS debug_tags +add_custom_command( + OUTPUT Debug_tags.h + COMMAND + ${mktagheaders_script} + "Debug_tags" + ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags + > ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.h + DEPENDS Debug_tags +) + +add_custom_command( + OUTPUT Trace_tags.h + COMMAND + ${mktagheaders_script} + "Trace_tags" + ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags + > ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.h + DEPENDS Trace_tags ) add_custom_target( - trace_tags.h - COMMAND - ${mktagheaders_script} - "Trace_tags" - ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags - > ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.h - DEPENDS trace_tags + tags_headers + DEPENDS Debug_tags.h Trace_tags.h ) |