commit a47cca26348e0fb8dba2faccb7037194a5e7ba0f
author Davide Pesavento <davidepesa@gmail.com> Fri Apr 16 02:30:11 2021 -0400
committer Davide Pesavento <davidepesa@gmail.com> Fri Apr 16 02:30:11 2021 -0400
tree 0ae57f7ab1de305bd4d74721b4db4a5cc37322b5
parent 7249fb4d5225cbe99a3901f9485a8ad99a7abceb

build: make graphviz optional for building documentation

Change-Id: I5434bbef22c840341623bff16f9e8de129249be2

wscript

diff --git a/wscript b/wscript
index aef4320..b55ed4a 100644
--- a/wscript
+++ b/wscript
@@ -92,6 +92,7 @@
     conf.env.WITH_OTHER_TESTS = conf.options.with_other_tests
 
     conf.find_program('bash', var='BASH')
+    conf.find_program('dot', var='DOT', mandatory=False)
 
     conf.check_cfg(package='libndn-cxx', args=['--cflags', '--libs'], uselib_store='NDN_CXX',
                    pkg_config_path=os.environ.get('PKG_CONFIG_PATH', '%s/pkgconfig' % conf.env.LIBDIR))
@@ -267,6 +268,7 @@
         target=['docs/doxygen.conf',
                 'docs/named_data_theme/named_data_footer-with-analytics.html'],
         VERSION=VERSION,
+        HAVE_DOT='YES' if bld.env.DOT else 'NO',
         HTML_FOOTER='../build/docs/named_data_theme/named_data_footer-with-analytics.html' \
                         if os.getenv('GOOGLE_ANALYTICS', None) \
                         else '../docs/named_data_theme/named_data_footer.html',