diff options
Diffstat (limited to 'src/base/CMakeLists.txt')
| -rw-r--r-- | src/base/CMakeLists.txt | 38 |
1 files changed, 5 insertions, 33 deletions
diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt index e28bd78cc..e73c82d76 100644 --- a/src/base/CMakeLists.txt +++ b/src/base/CMakeLists.txt @@ -40,9 +40,7 @@ libcvc4_add_sources(GENERATED git_versioninfo.cpp) #-----------------------------------------------------------------------------# # Generate code for debug/trace tags -set(gentmptags_script ${CMAKE_CURRENT_LIST_DIR}/gentmptags.sh) -set(gentags_script ${CMAKE_CURRENT_LIST_DIR}/gentags.sh) -set(genheader_script ${CMAKE_CURRENT_LIST_DIR}/genheader.sh) +set(collect_tags_script ${CMAKE_CURRENT_LIST_DIR}/collect_tags.py) file(GLOB_RECURSE source_files ${PROJECT_SOURCE_DIR}/src/*.cpp @@ -52,41 +50,15 @@ file(GLOB_RECURSE source_files string(REPLACE ";" " " source_files_list "${source_files}") add_custom_command( - OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.tmp - COMMAND - ${gentmptags_script} ${CMAKE_CURRENT_LIST_DIR} Debug ${source_files_list} - DEPENDS mktags ${gentmptags_script} ${source_files} -) - -add_custom_command( - OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.tmp - COMMAND - ${gentmptags_script} ${CMAKE_CURRENT_LIST_DIR} Trace ${source_files_list} - DEPENDS mktags ${gentmptags_script} ${source_files} -) - -add_custom_command( - OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags - COMMAND ${gentags_script} Debug - DEPENDS ${gentags_script} ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.tmp -) - -add_custom_command( - OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags - COMMAND ${gentags_script} Trace - DEPENDS ${gentags_script} ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.tmp -) - -add_custom_command( OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.h - COMMAND ${genheader_script} ${CMAKE_CURRENT_LIST_DIR} Debug - DEPENDS mktagheaders ${genheader_script} ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags + COMMAND ${PYTHON_EXECUTABLE} ${collect_tags_script} ${CMAKE_CURRENT_BINARY_DIR}/ Debug ${PROJECT_SOURCE_DIR}/src + DEPENDS ${collect_tags_script} ${source_files} ) add_custom_command( OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.h - COMMAND ${genheader_script} ${CMAKE_CURRENT_LIST_DIR} Trace - DEPENDS mktagheaders ${genheader_script} ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags + COMMAND ${PYTHON_EXECUTABLE} ${collect_tags_script} ${CMAKE_CURRENT_BINARY_DIR}/ Trace ${PROJECT_SOURCE_DIR}/src + DEPENDS ${collect_tags_script} ${source_files} ) add_custom_target(gen-tags |