From fcf67d7ed4b64ee8750d524057992e9e32dbfa57 Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Wed, 21 Apr 2021 23:59:07 +0200 Subject: 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. --- src/base/CMakeLists.txt | 1 + 1 file changed, 1 insertion(+) (limited to 'src/base') 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) -- cgit v1.2.3