diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-31 09:11:23 -0700 |
|---|---|---|
| committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
| commit | c255e8d8a39ca904ba6f99589fa06123c728d784 (patch) | |
| tree | f80b95a772a4a8f572f67ccd6602b947976e4cde /cmake | |
| parent | cc55abde168c2e316e5cde3c5c1f1d703faace4e (diff) | |
cmake: Use target specific includes for libcvc4.
Further, print definitions added with add_definitions(...).
Diffstat (limited to 'cmake')
0 files changed, 0 insertions, 0 deletions