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

This commit is contained in:
Gautier Pelloux-Prayer 2014-11-28 14:45:11 +01:00
parent a900f6490b
commit 0d9375ac64
3 changed files with 16 additions and 3 deletions

View file

@ -1015,7 +1015,20 @@ dnl ##################################################
dnl # Check for doxygen
dnl ##################################################
AC_CHECK_PROG(DOXYGEN,doxygen,doxygen,false)
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
AM_CONDITIONAL(HAVE_DOXYGEN, test "$DOXYGEN" != "false")

@ -1 +1 @@
Subproject commit 0fd78ef6f133efab04b55e5a8e51aa68f3e015fa
Subproject commit fc8d5b93ff618bbeca005d6c631e9eb0b10f1cd2

2
oRTP

@ -1 +1 @@
Subproject commit 29fb54f179f195d67a16e812bc26eed86089ff23
Subproject commit f21b5418b62c8acbe7a8a3be4ddf569af537d35e