projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ee9b46) | patch
Add setup to generate graphs for cmake target dependencies (#7383)
authorGereon Kremer <nafur42@gmail.com>
Thu, 21 Oct 2021 12:10:20 +0000 (05:10 -0700)
committerGitHub <noreply@github.com>
Thu, 21 Oct 2021 12:10:20 +0000 (12:10 +0000)
commit35792ea9345e792aa9ae4748aced5213f4bbfa76
treed991122f8552dcb8d5ddb3bf4f8f9a5a43d68b01tree
parent5ee9b4685a2aeceebeb109b9578be0562efbf700commit | diff
Add setup to generate graphs for cmake target dependencies (#7383)

This adds the target `target-graphs` that generated graphs of cmake dependencies based on `cmake --graphviz`. It is a nice to tool to debug the cmake setup in some cases.
CMakeLists.txt diff | blob | history
cmake/CMakeGraphVizOptions.cmake.in [new file with mode: 0644] blob
cmake/target-graphs.cmake [new file with mode: 0644] blob