diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-21 23:59:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-21 21:59:07 +0000 |
commit | fcf67d7ed4b64ee8750d524057992e9e32dbfa57 (patch) | |
tree | 3028b71867cafdb51f72f7585445ba577051a802 /src/base | |
parent | 754688c9551d4275ed6d704687a33f0568fa73e8 (diff) |
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.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
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) |