projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 754688c) | patch
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)
commitfcf67d7ed4b64ee8750d524057992e9e32dbfa57
tree3028b71867cafdb51f72f7585445ba577051a802tree
parent754688c9551d4275ed6d704687a33f0568fa73e8commit | 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.
src/base/CMakeLists.txt diff | blob | history