From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Wed, 21 Apr 2021 21:59:07 +0000 (+0200)
Subject: Add explicit dependencies for base lib (#6410)
X-Git-Tag: cvc5-1.0.0~1863
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=fcf67d7ed4b64ee8750d524057992e9e32dbfa57;p=cvc5.git

Add explicit dependencies for base lib (#6410)

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.
---

diff --git a/src/base/CMakeLists.txt b/src/base/CMakeLists.txt
index cb4ba64a8..8d79fb764 100644
--- 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)