mirror of
https://git.tukaani.org/xz.git
synced 2025-04-23 08:00:54 +00:00
CI: Support Doxygen in ci_build.bash
This commit is contained in:
parent
9048e72494
commit
a2e47c7a59
@ -43,6 +43,7 @@ NATIVE_LANG_SUPPORT="y"
|
|||||||
SMALL="n"
|
SMALL="n"
|
||||||
CLMUL="y"
|
CLMUL="y"
|
||||||
SANDBOX="y"
|
SANDBOX="y"
|
||||||
|
DOXYGEN="y"
|
||||||
SRC_DIR="$ABS_DIR/../"
|
SRC_DIR="$ABS_DIR/../"
|
||||||
DEST_DIR="$SRC_DIR/../xz_build"
|
DEST_DIR="$SRC_DIR/../xz_build"
|
||||||
PHASE="all"
|
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";;
|
small) SMALL="y";;
|
||||||
clmul) CLMUL="n";;
|
clmul) CLMUL="n";;
|
||||||
sandbox) SANDBOX="n";;
|
sandbox) SANDBOX="n";;
|
||||||
|
doxygen) DOXYGEN="n";;
|
||||||
*) echo "Invalid disable value: $disable_arg"; exit 1 ;;
|
*) echo "Invalid disable value: $disable_arg"; exit 1 ;;
|
||||||
esac
|
esac
|
||||||
done
|
done
|
||||||
@ -208,6 +210,7 @@ then
|
|||||||
add_extra_option "$SMALL" "--enable-small" ""
|
add_extra_option "$SMALL" "--enable-small" ""
|
||||||
add_extra_option "$CLMUL" "" "--disable-clmul-crc"
|
add_extra_option "$CLMUL" "" "--disable-clmul-crc"
|
||||||
add_extra_option "$SANDBOX" "" "--enable-sandbox=no"
|
add_extra_option "$SANDBOX" "" "--enable-sandbox=no"
|
||||||
|
add_extra_option "$DOXYGEN" "--enable-doxygen" ""
|
||||||
|
|
||||||
# Workaround a bug in too old config.guess. Version with
|
# Workaround a bug in too old config.guess. Version with
|
||||||
# timestamp='2022-05-08' would be needed but the autotools-dev
|
# 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 "$NATIVE_LANG_SUPPORT" "" "-DXZ_NLS=OFF"
|
||||||
add_extra_option "$SMALL" "-DXZ_SMALL=ON" ""
|
add_extra_option "$SMALL" "-DXZ_SMALL=ON" ""
|
||||||
|
add_extra_option "$DOXYGEN" "-DXZ_DOXYGEN=ON" ""
|
||||||
|
|
||||||
# Remove old cache file to clear previous settings.
|
# Remove old cache file to clear previous settings.
|
||||||
rm -f "CMakeCache.txt"
|
rm -f "CMakeCache.txt"
|
||||||
|
Loading…
x
Reference in New Issue
Block a user