2 files changed, 3 insertions, 0 deletions
diff --git a/scripts/build/p-klee.inc b/scripts/build/p-klee.inc
index 6967dc71..b6c4604c 100644
--- a/scripts/build/p-klee.inc
+++ b/scripts/build/p-klee.inc
@@ -22,6 +22,7 @@ build_klee() {
     "-DGTEST_SRC_DIR=${GTEST_INSTALL_PATH}"
     "-DENABLE_UNIT_TESTS=TRUE"
     "-DENABLE_SYSTEM_TESTS=TRUE"
+    "-DENABLE_DOXYGEN=${ENABLE_DOXYGEN}"
     "-DLIT_ARGS=-v"
   )
 
diff --git a/scripts/build/v-klee.inc b/scripts/build/v-klee.inc
index 5f7d9fca..60b4a498 100644
--- a/scripts/build/v-klee.inc
+++ b/scripts/build/v-klee.inc
@@ -4,12 +4,14 @@ required_variables_klee=(
   "KLEE_RUNTIME_BUILD"
   "USE_TCMALLOC"
   "USE_LIBCXX"
+  "ENABLE_DOXYGEN"
 )
 
 required_variables_check_klee() {
   check_bool "COVERAGE"
   check_bool "USE_TCMALLOC"
   check_bool "USE_LIBCXX"
+  check_bool "ENABLE_DOXYGEN"
 }
 
 # On which artifacts does KLEE depend on