Add a few more options for the CI script.

These are:
  --disable-module-relay
  --disable-module-dirauth
  --enable-all-bugs-are-fatal
  --enable-nss
This commit is contained in:
Nick Mathewson 2020-09-21 09:20:40 -04:00
parent 0b77c706a1
commit 1bbeddf99e

View File

@ -34,6 +34,10 @@ RUST="${RUST:-no}"
DOXYGEN="${DOXYGEN:-no}" DOXYGEN="${DOXYGEN:-no}"
ASCIIDOC="${ASCIIDOC:-no}" ASCIIDOC="${ASCIIDOC:-no}"
TRACING="${TRACING:-no}" TRACING="${TRACING:-no}"
ALL_BUGS_ARE_FATAL="${ALL_BUGS_ARE_FATAL:-no}"
DISABLE_DIRAUTH="${DISABLE_DIRAUTH:-no}"
DISABLE_RELAY="${DISABLE_RELAY:-no}"
NSS="${NSS:-no}"
# Options for which tests to run. All should be yes/no. # Options for which tests to run. All should be yes/no.
CHECK="${CHECK:-yes}" CHECK="${CHECK:-yes}"
@ -193,6 +197,10 @@ yes_or_no RUST
yes_or_no DOXYGEN yes_or_no DOXYGEN
yes_or_no ASCIIDOC yes_or_no ASCIIDOC
yes_or_no TRACING yes_or_no TRACING
yes_or_no ALL_BUGS_ARE_FATAL
yes_or_no DISABLE_DIRAUTH
yes_or_no DISABLE_RELAY
yes_or_no NSS
yes_or_no RUN_STAGE_CONFIGURE yes_or_no RUN_STAGE_CONFIGURE
yes_or_no RUN_STAGE_BUILD yes_or_no RUN_STAGE_BUILD
@ -246,6 +254,18 @@ fi
if [[ "$TRACING" == "yes" ]]; then if [[ "$TRACING" == "yes" ]]; then
configure_options+=("--enable-tracing-instrumentation-lttng") configure_options+=("--enable-tracing-instrumentation-lttng")
fi fi
if [[ "$ALL_BUGS_ARE_FATAL" == "yes" ]]; then
configure_options+=("--enable-all-bugs-are-fatal")
fi
if [[ "$DISABLE_DIRAUTH" == "yes" ]]; then
configure_options+=("--disable-module-dirauth")
fi
if [[ "$DISABLE_RELAY" == "yes" ]]; then
configure_options+=("--disable-module-relay")
fi
if [[ "$NSS" == "yes" ]]; then
configure_options+=("--enable-nss")
fi
############################################################################# #############################################################################
# Tell the user about our versions of different tools and packages. # Tell the user about our versions of different tools and packages.