From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 25 Sep 2018 16:31:40 +0000 (-0700)
Subject: cmake: Fix tag code generation dependencies. (#2529)
X-Git-Tag: cvc5-1.0.0~4507
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f4ce78488ae41b4effc140edfc35cbba79d2dcd4;p=cvc5.git

cmake: Fix tag code generation dependencies. (#2529)
---

diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt
index 94ef98126..532ed475d 100644
--- a/src/base/CMakeLists.txt
+++ b/src/base/CMakeLists.txt
@@ -73,17 +73,18 @@ file(GLOB_RECURSE source_files
      ${PROJECT_SOURCE_DIR}/src/*.g)
 string(REPLACE ";" " " source_files_list "${source_files}")
 
-# Note: {Debug,Trace}_tags.tmp are targets since we always want to generate
-# the temporary tag files in order to check if anything changed.
+# Note: gen-tags-{debug,trace} are targets since we always want to generate
+# the temporary tag files {Debug,Trace}_tags.tmp in order to check if tags
+# were added/modified/deleted.
 add_custom_target(
-  Debug_tags.tmp
+  gen-tags-debug
   COMMAND
     ${gentmptags_script} ${CMAKE_CURRENT_LIST_DIR} Debug ${source_files_list}
   DEPENDS mktags
 )
 
 add_custom_target(
-  Trace_tags.tmp
+  gen-tags-trace
   COMMAND
     ${gentmptags_script} ${CMAKE_CURRENT_LIST_DIR} Trace ${source_files_list}
   DEPENDS mktags
@@ -92,13 +93,13 @@ add_custom_target(
 add_custom_command(
   OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags
   COMMAND ${gentags_script} Debug
-  DEPENDS Debug_tags.tmp
+  DEPENDS gen-tags-debug ${CMAKE_CURRENT_BINARY_DIR}/Debug_tags.tmp
 )
 
 add_custom_command(
   OUTPUT ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags
   COMMAND ${gentags_script} Trace
-  DEPENDS Trace_tags.tmp
+  DEPENDS gen-tags-trace ${CMAKE_CURRENT_BINARY_DIR}/Trace_tags.tmp
 )
 
 add_custom_command(