From 048a4e582b641c2c3f4dec44387bd942b7d4ca3a Mon Sep 17 00:00:00 2001 From: Kamen Mazdrashki Date: Fri, 18 Jun 2010 13:46:27 +0300 Subject: [PATCH] waf: Add '--no-manpages' option It is very annoying for me to wait 20 minutes anytime I need to make a clean build --- buildtools/wafsamba/wafsamba.py | 6 ++++++ buildtools/wafsamba/wscript | 7 +++++++ 2 files changed, 13 insertions(+) diff --git a/buildtools/wafsamba/wafsamba.py b/buildtools/wafsamba/wafsamba.py index eb2d56e2db..592524c767 100644 --- a/buildtools/wafsamba/wafsamba.py +++ b/buildtools/wafsamba/wafsamba.py @@ -868,6 +868,12 @@ Build.BuildContext.PKG_CONFIG_FILES = PKG_CONFIG_FILES def MANPAGES(bld, manpages): '''build and install manual pages''' + # check if we are to skip man pages generation + if 'NO_MANPAGES' in bld.env and bld.env['NO_MANPAGES']: + if not 'NO_MANPAGES_WARNED' in bld.env: + bld.env['NO_MANPAGES_WARNED'] = True + Logs.warn('Skipping man pages generation') + return bld.env.MAN_XSL = 'http://docbook.sourceforge.net/release/xsl/current/manpages/docbook.xsl' for m in manpages.split(): source = m + '.xml' diff --git a/buildtools/wafsamba/wscript b/buildtools/wafsamba/wscript index bad65cac24..9df9395346 100644 --- a/buildtools/wafsamba/wscript +++ b/buildtools/wafsamba/wscript @@ -100,6 +100,10 @@ def set_options(opt): help=("Update ABI signature files for libraries"), action='store_true', dest='ABI_UPDATE', default=False) + gr.add_option('--no-manpages', + help=("Don't generate man pages. Convenient in developer builds."), + action='store_true', dest='NO_MANPAGES', default=False) + gr = opt.add_option_group('cross compilation options') gr.add_option('--cross-compile', @@ -204,6 +208,9 @@ def configure(conf): except: conf.env.ABI_CHECK = False + # disables making of manpages + conf.env.NO_MANPAGES = Options.options.NO_MANPAGES + conf.CHECK_COMMAND(['uname', '-a'], msg='Checking build system', define='BUILD_SYSTEM', -- 2.34.1