diff options
author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-10 17:57:15 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 0151fba9d31cf4cb71bfbf472295a5668bdb9013 (patch) | |
tree | 86a4ad16c65dd929c32d5c05482107968f86bcd7 | |
parent | 07368b6c38112763ea727324403fe29269405d55 (diff) |
cmake: Generate trace and debug tags
-rw-r--r-- | CMakeLists.txt | 1 | ||||
-rw-r--r-- | src/base/CMakeLists.txt | 72 |
2 files changed, 73 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt index 187f06949..87b281fe1 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -145,6 +145,7 @@ configure_file( #-----------------------------------------------------------------------------# +add_subdirectory(src/base) add_subdirectory(src/expr) add_subdirectory(src/options) add_subdirectory(src/theory) diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt index e69de29bb..cf4e554cc 100644 --- a/src/base/CMakeLists.txt +++ b/src/base/CMakeLists.txt @@ -0,0 +1,72 @@ +set(mktags_script ${CMAKE_CURRENT_LIST_DIR}/mktags) +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_target( + 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_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_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_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 +) |