CI: Support Doxygen in ci_build.bash

diff --git a/build-aux/ci_build.bash b/build-aux/ci_build.bash
index 07c64a24390f8b52d019cd82112fa6169d85495d..d2408569ecb37a90da21cd7ea46eb56e0c18eeb8 100755 (executable)
--- a/build-aux/ci_build.bash
+++ b/build-aux/ci_build.bash
@@ -43,6 +43,7 @@ NATIVE_LANG_SUPPORT="y"
 SMALL="n"
 CLMUL="y"
 SANDBOX="y"
+DOXYGEN="y"
 SRC_DIR="$ABS_DIR/../"
 DEST_DIR="$SRC_DIR/../xz_build"
 PHASE="all"
@@ -91,6 +92,7 @@ while getopts a:b:c:d:l:m:n:s:p:f:w:h opt; do
                small) SMALL="y";;
                clmul) CLMUL="n";;
                sandbox) SANDBOX="n";;
+               doxygen) DOXYGEN="n";;
                *) echo "Invalid disable value: $disable_arg"; exit 1 ;;
                esac
        done
@@ -208,6 +210,7 @@ then
                add_extra_option "$SMALL" "--enable-small" ""
                add_extra_option "$CLMUL" "" "--disable-clmul-crc"
                add_extra_option "$SANDBOX" "" "--enable-sandbox=no"
+               add_extra_option "$DOXYGEN" "--enable-doxygen" ""
 
                # Workaround a bug in too old config.guess. Version with
                # timestamp='2022-05-08' would be needed but the autotools-dev
@@ -243,6 +246,7 @@ then
 
                add_extra_option "$NATIVE_LANG_SUPPORT" "" "-DXZ_NLS=OFF"
                add_extra_option "$SMALL" "-DXZ_SMALL=ON" ""
+               add_extra_option "$DOXYGEN" "-DXZ_DOXYGEN=ON" ""
 
                # Remove old cache file to clear previous settings.
                rm -f "CMakeCache.txt"