Re: [PATCH] configure: add --without-api-docs option

diff --git a/85/dab82c0b7afbbfd3555720a267d2c8e73ac679 b/85/dab82c0b7afbbfd3555720a267d2c8e73ac679
new file mode 100644 (file)
index 0000000..aa8954a
--- /dev/null
+++ b/85/dab82c0b7afbbfd3555720a267d2c8e73ac679
@@ -0,0 +1,130 @@
+Return-Path: <tomi.ollila@iki.fi>\r
+X-Original-To: notmuch@notmuchmail.org\r
+Delivered-To: notmuch@notmuchmail.org\r
+Received: from localhost (localhost [127.0.0.1])\r
+ by arlo.cworth.org (Postfix) with ESMTP id 3691A6DE01F9\r
+ for <notmuch@notmuchmail.org>; Wed, 10 Aug 2016 23:17:07 -0700 (PDT)\r
+X-Virus-Scanned: Debian amavisd-new at cworth.org\r
+X-Spam-Flag: NO\r
+X-Spam-Score: 0.563\r
+X-Spam-Level: \r
+X-Spam-Status: No, score=0.563 tagged_above=-999 required=5 tests=[AWL=-0.089,\r
+  SPF_NEUTRAL=0.652] autolearn=disabled\r
+Received: from arlo.cworth.org ([127.0.0.1])\r
+ by localhost (arlo.cworth.org [127.0.0.1]) (amavisd-new, port 10024)\r
+ with ESMTP id 7nU-On6KzDXL for <notmuch@notmuchmail.org>;\r
+ Wed, 10 Aug 2016 23:16:58 -0700 (PDT)\r
+Received: from guru.guru-group.fi (guru.guru-group.fi [46.183.73.34])\r
+ by arlo.cworth.org (Postfix) with ESMTP id 6595E6DE01C2\r
+ for <notmuch@notmuchmail.org>; Wed, 10 Aug 2016 23:16:57 -0700 (PDT)\r
+Received: from guru.guru-group.fi (localhost [IPv6:::1])\r
+ by guru.guru-group.fi (Postfix) with ESMTP id 46F0F10007F;\r
+ Thu, 11 Aug 2016 09:16:29 +0300 (EEST)\r
+From: Tomi Ollila <tomi.ollila@iki.fi>\r
+To: mp39590@gmail.com, notmuch@notmuchmail.org\r
+Subject: Re: [PATCH] configure: add --without-api-docs option\r
+In-Reply-To: <20160810130235.7108-1-mp39590@gmail.com>\r
+References: <87popijavz.fsf@maritornes.cs.unb.ca>\r
+ <20160810130235.7108-1-mp39590@gmail.com>\r
+User-Agent: Notmuch/0.22+56~ge2391a7 (https://notmuchmail.org) Emacs/24.5.1\r
+ (x86_64-unknown-linux-gnu)\r
+X-Face: HhBM'cA~<r"^Xv\KRN0P{vn'Y"Kd;zg_y3S[4)KSN~s?O\"QPoL\r
+ $[Xv_BD:i/F$WiEWax}R(MPS`^UaptOGD`*/=@\1lKoVa9tnrg0TW?"r7aRtgk[F\r
+ !)g;OY^,BjTbr)Np:%c_o'jj,Z\r
+Date: Thu, 11 Aug 2016 09:16:28 +0300\r
+Message-ID: <m2wpjnu8xv.fsf@guru.guru-group.fi>\r
+MIME-Version: 1.0\r
+Content-Type: text/plain\r
+X-BeenThere: notmuch@notmuchmail.org\r
+X-Mailman-Version: 2.1.20\r
+Precedence: list\r
+List-Id: "Use and development of the notmuch mail system."\r
+ <notmuch.notmuchmail.org>\r
+List-Unsubscribe: <https://notmuchmail.org/mailman/options/notmuch>,\r
+ <mailto:notmuch-request@notmuchmail.org?subject=unsubscribe>\r
+List-Archive: <http://notmuchmail.org/pipermail/notmuch/>\r
+List-Post: <mailto:notmuch@notmuchmail.org>\r
+List-Help: <mailto:notmuch-request@notmuchmail.org?subject=help>\r
+List-Subscribe: <https://notmuchmail.org/mailman/listinfo/notmuch>,\r
+ <mailto:notmuch-request@notmuchmail.org?subject=subscribe>\r
+X-List-Received-Date: Thu, 11 Aug 2016 06:17:07 -0000\r
+\r
+On Wed, Aug 10 2016, mp39590@gmail.com wrote:\r
+\r
+> From: Mikhail <mp39590@gmail.com>\r
+>\r
+> Add option to explicitly disable API man page build even if doxygen\r
+> binary is available. --without-docs also implies not building API\r
+> manpage.\r
+\r
+This LGTM and worked fine on my manual ./configure command line testing\r
+\r
+Tomi\r
+\r
+>\r
+> This change intended to add more distinctness into build system and\r
+> allow user not to build unwanted man pages.\r
+> ---\r
+>  configure | 16 ++++++++++++++--\r
+>  1 file changed, 14 insertions(+), 2 deletions(-)\r
+>\r
+> diff --git a/configure b/configure\r
+> index ae0a027..fa4c5b5 100755\r
+> --- a/configure\r
+> +++ b/configure\r
+> @@ -68,6 +68,7 @@ PYTHON=${PYTHON:-}\r
+>  PREFIX=/usr/local\r
+>  LIBDIR=\r
+>  WITH_DOCS=1\r
+> +WITH_API_DOCS=1\r
+>  WITH_EMACS=1\r
+>  WITH_BASH=1\r
+>  WITH_RUBY=1\r
+> @@ -137,7 +138,8 @@ Some features can be disabled (--with-feature=no is equivalent to\r
+>  --without-feature) :\r
+>  \r
+>      --without-bash-completion       Do not install bash completions files\r
+> -    --without-docs                  Do not install documentation and man pages\r
+> +    --without-docs                  Do not install documentation\r
+> +    --without-api-docs              Do not install API man page\r
+>      --without-emacs                 Do not install lisp file\r
+>      --without-ruby                  Do not install ruby bindings\r
+>      --without-zsh-completion        Do not install zsh completions files\r
+> @@ -184,11 +186,21 @@ for option; do\r
+>      elif [ "${option%%=*}" = '--with-docs' ]; then\r
+>      if [ "${option#*=}" = 'no' ]; then\r
+>          WITH_DOCS=0\r
+> +        WITH_API_DOCS=0\r
+>      else\r
+>          WITH_DOCS=1\r
+>      fi\r
+>      elif [ "${option}" = '--without-docs' ] ; then\r
+>      WITH_DOCS=0\r
+> +    WITH_API_DOCS=0\r
+> +    elif [ "${option%%=*}" = '--with-api-docs' ]; then\r
+> +    if [ "${option#*=}" = 'no' ]; then\r
+> +        WITH_API_DOCS=0\r
+> +    else\r
+> +        WITH_API_DOCS=1\r
+> +    fi\r
+> +    elif [ "${option}" = '--without-api-docs' ] ; then\r
+> +    WITH_API_DOCS=0\r
+>      elif [ "${option%%=*}" = '--with-emacs' ]; then\r
+>      if [ "${option#*=}" = 'no' ]; then\r
+>          WITH_EMACS=0\r
+> @@ -557,7 +569,7 @@ else\r
+>  fi\r
+>  \r
+>  have_doxygen=0\r
+> -if [ $WITH_DOCS = "1" ] ; then\r
+> +if [ $WITH_API_DOCS = "1" ] ; then\r
+>      printf "Checking if doxygen is available... "\r
+>      if command -v doxygen > /dev/null; then\r
+>      printf "Yes.\n"\r
+> -- \r
+> 2.9.0\r
+>\r
+> _______________________________________________\r
+> notmuch mailing list\r
+> notmuch@notmuchmail.org\r
+> https://notmuchmail.org/mailman/listinfo/notmuch\r