cmake/target-graphs.cmake

   1 ###############################################################################
   2 # Top contributors (to current version):
   3 #   Gereon Kremer
   4 #
   5 # This file is part of the cvc5 project.
   6 #
   7 # Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
   8 # in the top-level source directory and their institutional affiliations.
   9 # All rights reserved.  See the file COPYING in the top-level source
  10 # directory for licensing information.
  11 # #############################################################################
  12 # Provides cmake target target-graphs with generates (png) dependency graphs
  13 # to visualize the interdependencies of all cmake targets.
  14 ##
  15
  16 get_target_property(APITESTS build-apitests MANUALLY_ADDED_DEPENDENCIES)
  17 string(REPLACE ";" " " APITESTS "${APITESTS}")
  18
  19 configure_file(
  20     cmake/CMakeGraphVizOptions.cmake.in
  21     ${CMAKE_BINARY_DIR}/CMakeGraphVizOptions.cmake
  22     @ONLY
  23 )
  24
  25 add_custom_target(target-graphs
  26     COMMAND
  27         ${CMAKE_COMMAND} --graphviz=target-graphs/graph.dot ${CMAKE_SOURCE_DIR}
  28     COMMAND
  29         find target-graphs/ -iname "graph.dot*" -and \! -iname "*.png"
  30         -exec dot -Tpng -O {} +
  31     WORKING_DIRECTORY ${CMAKE_BINARY_DIR}
  32 )