debian/notmuch
1
0
Fork 0
mirror of https://git.notmuchmail.org/git/notmuch synced 2024-11-25 12:28:09 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

configure: add --without-api-docs option

Browse source 
Add option to explicitly disable API man page build even if doxygen
binary is available. --without-docs also implies not building API
manpage.

This change intended to add more distinctness into build system and
allow user not to build unwanted man pages.
This commit is contained in:
Mikhail 2016-08-10 16:02:35 +03:00 committed by David Bremner
parent 999d473299
commit 188fccd84f
1 changed files with 14 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
configure vendored
View file

@ -68,6 +68,7 @@ PYTHON=${PYTHON:-}
PREFIX=/usr/local PREFIX=/usr/local
LIBDIR= LIBDIR=
WITH_DOCS=1 WITH_DOCS=1
WITH_API_DOCS=1
WITH_EMACS=1 WITH_EMACS=1
WITH_BASH=1 WITH_BASH=1
WITH_RUBY=1 WITH_RUBY=1
@ -137,7 +138,8 @@ Some features can be disabled (--with-feature=no is equivalent to
--without-feature) : --without-feature) :
--without-bash-completion Do not install bash completions files --without-bash-completion Do not install bash completions files
--without-docs Do not install documentation and man pages --without-docs Do not install documentation
--without-api-docs Do not install API man page
--without-emacs Do not install lisp file --without-emacs Do not install lisp file
--without-ruby Do not install ruby bindings --without-ruby Do not install ruby bindings
--without-zsh-completion Do not install zsh completions files --without-zsh-completion Do not install zsh completions files
@ -184,11 +186,21 @@ for option; do
elif [ "${option%%=*}" = '--with-docs' ]; then elif [ "${option%%=*}" = '--with-docs' ]; then
if [ "${option#*=}" = 'no' ]; then if [ "${option#*=}" = 'no' ]; then
WITH_DOCS=0 WITH_DOCS=0
WITH_API_DOCS=0
else else
WITH_DOCS=1 WITH_DOCS=1
fi fi
elif [ "${option}" = '--without-docs' ] ; then elif [ "${option}" = '--without-docs' ] ; then
WITH_DOCS=0 WITH_DOCS=0
WITH_API_DOCS=0
elif [ "${option%%=*}" = '--with-api-docs' ]; then
if [ "${option#*=}" = 'no' ]; then
WITH_API_DOCS=0
else
WITH_API_DOCS=1
fi
elif [ "${option}" = '--without-api-docs' ] ; then
WITH_API_DOCS=0
elif [ "${option%%=*}" = '--with-emacs' ]; then elif [ "${option%%=*}" = '--with-emacs' ]; then
if [ "${option#*=}" = 'no' ]; then if [ "${option#*=}" = 'no' ]; then
WITH_EMACS=0 WITH_EMACS=0
@ -557,7 +569,7 @@ else
fi fi
have_doxygen=0 have_doxygen=0
if [ $WITH_DOCS = "1" ] ; then if [ $WITH_API_DOCS = "1" ] ; then
printf "Checking if doxygen is available... " printf "Checking if doxygen is available... "
if command -v doxygen > /dev/null; then if command -v doxygen > /dev/null; then
printf "Yes.\n" printf "Yes.\n"