commit dbe645f879e6906945a07935b5da344f8801afd4
author Davide Pesavento <davidepesa@gmail.com> Fri Apr 16 00:42:52 2021 -0400
committer Davide Pesavento <davidepesa@gmail.com> Fri Apr 16 00:42:52 2021 -0400
tree f49325127f5424ee4c18fdee7dfd4aa50b77e335
parent cad94b025540a80277c4ee7ac673358a19f19f6b

build: make graphviz optional for building documentation

Change-Id: Icff993cccc675c95cd6f671cd217c74d7768fac9

wscript

diff --git a/wscript b/wscript
index cad98bc..cd86ca8 100644
--- a/wscript
+++ b/wscript
@@ -81,6 +81,7 @@
     conf.env.WITH_EXAMPLES = conf.options.with_examples
 
     conf.find_program('sh', var='SH')
+    conf.find_program('dot', var='DOT', mandatory=False)
 
     conf.check_cxx(lib='atomic', uselib_store='ATOMIC', define_name='HAVE_ATOMIC', mandatory=False)
     conf.check_cxx(lib='pthread', uselib_store='PTHREAD', define_name='HAVE_PTHREAD', mandatory=False)
@@ -333,6 +334,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',