projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc55abd) | patch
cmake: Use target specific includes for libcvc4.
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 31 Aug 2018 16:11:23 +0000 (09:11 -0700)
committerMathias Preiner <mathias.preiner@gmail.com>
Sat, 22 Sep 2018 23:30:59 +0000 (16:30 -0700)
commitc255e8d8a39ca904ba6f99589fa06123c728d784
treef80b95a772a4a8f572f67ccd6602b947976e4cdetree
parentcc55abde168c2e316e5cde3c5c1f1d703faace4ecommit | diff
cmake: Use target specific includes for libcvc4.

Further, print definitions added with add_definitions(...).
CMakeLists.txt diff | blob | history
src/CMakeLists.txt diff | blob | history