From 8a1df3df6293b5f8ac9be6d42d8ba6f23d708864 Mon Sep 17 00:00:00 2001
From: Dan Liew <daniel.liew@imperial.ac.uk>
Date: Mon, 24 Apr 2017 21:52:59 +0100
Subject: [PATCH] [Doxygen] Add `--doxygen-executable` command line option to
 `mk_api_doc.py`. This allows a custom path to Doxygen to be specified.

---
 doc/mk_api_doc.py | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/doc/mk_api_doc.py b/doc/mk_api_doc.py
index d27351015..62130d73c 100644
--- a/doc/mk_api_doc.py
+++ b/doc/mk_api_doc.py
@@ -15,9 +15,10 @@ import shutil
 
 ML_ENABLED=False
 BUILD_DIR='../build'
+DOXYGEN_EXE='doxygen'
 
 def parse_options():
-    global ML_ENABLED, BUILD_DIR
+    global ML_ENABLED, BUILD_DIR, DOXYGEN_EXE
     parser = argparse.ArgumentParser(description=__doc__)
     parser.add_argument('-b',
         '--build',
@@ -29,9 +30,15 @@ def parse_options():
         default=False,
         help='Include ML/OCaml API documentation'
     )
+    parser.add_argument('--doxygen-executable',
+        dest='doxygen_executable',
+        default=DOXYGEN_EXE,
+        help='Doxygen executable to use (default: %(default)s)',
+    )
     pargs = parser.parse_args()
     ML_ENABLED = pargs.ml
     BUILD_DIR = pargs.build
+    DOXYGEN_EXE = pargs.doxygen_executable
     return
 
 def mk_dir(d):
@@ -81,7 +88,7 @@ try:
 
     print("Removed annotations from z3_api.h.")
     try:
-        if subprocess.call(['doxygen', 'z3api.dox']) != 0:
+        if subprocess.call([DOXYGEN_EXE, 'z3api.dox']) != 0:
             print("ERROR: doxygen returned nonzero return code")
             exit(1)
     except: