projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 754688c)
Add explicit dependencies for base lib (#6410)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Wed, 21 Apr 2021 21:59:07 +0000 (23:59 +0200)
committerGitHub <noreply@github.com>
Wed, 21 Apr 2021 21:59:07 +0000 (21:59 +0000)
This PR adds missing cmake dependencies for the base library. This makes sure that Debug_tags.h and Trace_tags.h are already present when we start compiling.

src/base/CMakeLists.txt patch | blob | history

diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt
index cb4ba64a808af8f540563e92d1d6b5a5b9163447..8d79fb76492e8ea9ea56420ba1e9ff37254371e9 100644 (file)
--- a/src/base/CMakeLists.txt
+++ b/src/base/CMakeLists.txt
@@ -88,3 +88,4 @@ if(ENABLE_SHARED)
   set_target_properties(cvc5base PROPERTIES POSITION_INDEPENDENT_CODE ON)
 endif()
 target_compile_definitions(cvc5base PRIVATE -D__BUILDING_CVC5LIB)
+add_dependencies(cvc5base gen-gitinfo gen-tags)