mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-08 12:01:56 +00:00
- Add patch missed in previous commit
PR: 209665 Submitted by: mp39590@gmail.com (maintainer)
This commit is contained in:
parent
e131e5ffc9
commit
b77af6fefe
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=420598
44
mail/notmuch/files/patch-configure
Normal file
44
mail/notmuch/files/patch-configure
Normal file
@ -0,0 +1,44 @@
|
||||
--- configure.orig 2016-07-19 09:43:20 UTC
|
||||
+++ configure
|
||||
@@ -66,6 +66,7 @@ PYTHON=${PYTHON:-}
|
||||
PREFIX=/usr/local
|
||||
LIBDIR=
|
||||
WITH_DOCS=1
|
||||
+WITH_API_DOCS=1
|
||||
WITH_EMACS=1
|
||||
WITH_BASH=1
|
||||
WITH_RUBY=1
|
||||
@@ -134,7 +135,8 @@ Some features can be disabled (--with-fe
|
||||
--without-feature) :
|
||||
|
||||
--without-bash-completion Do not install bash completions files
|
||||
- --without-docs Do not install documentation and man pages
|
||||
+ --without-docs Do not install man pages
|
||||
+ --without-api-docs Do not install API documentation
|
||||
--without-emacs Do not install lisp file
|
||||
--without-ruby Do not install ruby bindings
|
||||
--without-zsh-completion Do not install zsh completions files
|
||||
@@ -185,6 +187,14 @@ for option; do
|
||||
fi
|
||||
elif [ "${option}" = '--without-docs' ] ; then
|
||||
WITH_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
|
||||
if [ "${option#*=}" = 'no' ]; then
|
||||
WITH_EMACS=0
|
||||
@@ -507,7 +517,7 @@ else
|
||||
fi
|
||||
|
||||
have_doxygen=0
|
||||
-if [ $WITH_DOCS = "1" ] ; then
|
||||
+if [ $WITH_API_DOCS = "1" ] ; then
|
||||
printf "Checking if doxygen is available... "
|
||||
if command -v doxygen > /dev/null; then
|
||||
printf "Yes.\n"
|
Loading…
x
Reference in New Issue
Block a user