configure.ac: add --disable-documentation option to speed up dev builds

parent 494162a1
......@@ -1235,6 +1235,20 @@ dnl ##################################################
dnl # Check for doxygen
dnl ##################################################
AC_ARG_ENABLE(doxygen,
[AS_HELP_STRING([--disable-documentation], [Disable documentation generation using doxygen (default=no)])],
[case "${enableval}" in
yes) documentation_enabled=yes;;
no) documentation_enabled=no;;
*) AC_MSG_ERROR("Bad value for --disable-documentation");;
esac],
[documentation_enabled=yes]
)
if test "$documentation_enabled" = "yes" ; then
AC_CHECK_PROG(DOXYGEN,doxygen,doxygen,false)
else
DOXYGEN=false
fi
AC_CHECK_PROG(DOXYGEN,doxygen,doxygen,false)
AM_CONDITIONAL(HAVE_DOXYGEN, test "$DOXYGEN" != "false")
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment