From 72a7b93f124cdaee8082aff218f6497c366f53f9 Mon Sep 17 00:00:00 2001
From: Mikko Koppanen <mkoppanen@php.net>
Date: Wed, 17 Nov 2010 15:10:43 +0100
Subject: Allow building without documentation.

Allows building without documentation even if asciidoc and xmlto are
installed. This eases up working with the build system because doc
generation take quite a while on repeated builds.

Signed-off-by: Mikko Koppanen <mkoppanen@php.net>
---
 acinclude.m4 | 41 +++++++++++++++++++++++++----------------
 1 file changed, 25 insertions(+), 16 deletions(-)

diff --git a/acinclude.m4 b/acinclude.m4
index 631caa8..1295a64 100644
--- a/acinclude.m4
+++ b/acinclude.m4
@@ -65,26 +65,35 @@ dnl # AC_CHECK_DOC_BUILD
 dnl # Check whether to build documentation and install man-pages                 #
 dnl ##############################################################################
 AC_DEFUN([AC_CHECK_DOC_BUILD], [{
-    # Determine whether or not documentation should be built and installed.
-    build_doc="yes"
-    install_man="yes"
-    # Check for asciidoc and xmlto and don't build the docs if these are not installed.
-    AC_CHECK_PROG(have_asciidoc, asciidoc, yes, no)
-    AC_CHECK_PROG(have_xmlto, xmlto, yes, no)
-    if test "x$have_asciidoc" = "xno" -o "x$have_xmlto" = "xno"; then
+    # Allow user to disable doc build
+    AC_ARG_WITH([documentation], [AS_HELP_STRING([--without-documentation],
+        [disable documentation build even if asciidoc and xmlto are present [default=no]])])
+
+    if test "x$with_documentation" = "xno"; then
         build_doc="no"
-        # Tarballs built with 'make dist' ship with prebuilt documentation.
-        if ! test -f doc/zmq.7; then
+        install_man="no"
+    else
+        # Determine whether or not documentation should be built and installed.
+        build_doc="yes"
+        install_man="yes"
+        # Check for asciidoc and xmlto and don't build the docs if these are not installed.
+        AC_CHECK_PROG(have_asciidoc, asciidoc, yes, no)
+        AC_CHECK_PROG(have_xmlto, xmlto, yes, no)
+        if test "x$have_asciidoc" = "xno" -o "x$have_xmlto" = "xno"; then
+            build_doc="no"
+            # Tarballs built with 'make dist' ship with prebuilt documentation.
+            if ! test -f doc/zmq.7; then
+                install_man="no"
+                AC_MSG_WARN([You are building an unreleased version of 0MQ and asciidoc or xmlto are not installed.])
+                AC_MSG_WARN([Documentation will not be built and manual pages will not be installed.])
+            fi
+        fi
+
+        # Do not install man pages if on mingw
+        if test "x$on_mingw32" = "xyes"; then
             install_man="no"
-            AC_MSG_WARN([You are building an unreleased version of 0MQ and asciidoc or xmlto are not installed.])
-            AC_MSG_WARN([Documentation will not be built and manual pages will not be installed.])
         fi
     fi
-    
-    # Do not install man pages if on mingw
-    if test "x$on_mingw32" = "xyes"; then
-        install_man="no"
-    fi
 
     AC_MSG_CHECKING([whether to build documentation])
     AC_MSG_RESULT([$build_doc])
-- 
cgit v1.2.3