summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBjörn Baumbach <bb@sernet.de>2015-07-27 12:14:37 +0200
committerStefan Metzmacher <metze@samba.org>2015-08-04 07:27:23 +0200
commitab824a3b978663d85aaf585b4441ff6cc82e510a (patch)
tree722ce3d2945cb461785fba07ed9a616336200271
parenteb55fd0841a5fdc58364d628930113edc90ca5b6 (diff)
downloadsamba-ab824a3b978663d85aaf585b4441ff6cc82e510a.tar.gz
configure: add --with-gpfs option for selecting directory with gpfs headers
Fix for bug #11421 part 1. BUG: https://bugzilla.samba.org/show_bug.cgi?id=11421 Signed-off-by: Björn Baumbach <bb@sernet.de> Reviewed-by: Alexander Bokovoy <ab@samba.org> Reviewed-by: Martin Schwenke <martin@meltin.net> (cherry picked from commit b9bef361d95daf0f38363acbdec9c23f094ffaca)
-rw-r--r--lib/util/wscript4
-rw-r--r--lib/util/wscript_configure2
2 files changed, 5 insertions, 1 deletions
diff --git a/lib/util/wscript b/lib/util/wscript
index 26b5564babc..953becf6563 100644
--- a/lib/util/wscript
+++ b/lib/util/wscript
@@ -17,3 +17,7 @@ def set_options(opt):
opt.add_option('--without-lttng',
help=("Disable lttng integration"),
action='store_false', dest='enable_lttng')
+
+ opt.add_option('--with-gpfs',
+ help=("Directory under which gpfs headers are installed"),
+ action="store", dest='gpfs_headers_dir', default="/usr/lpp/mmfs/include/")
diff --git a/lib/util/wscript_configure b/lib/util/wscript_configure
index 95a89493d9a..e7bcbd6bffa 100644
--- a/lib/util/wscript_configure
+++ b/lib/util/wscript_configure
@@ -135,6 +135,6 @@ else:
conf.SET_TARGET_TYPE('lttng-ust', 'EMPTY')
conf.undefine('HAVE_LTTNG_TRACEF')
-conf.env['CPPPATH_GPFS'] = '/usr/lpp/mmfs/include/'
+conf.env['CPPPATH_GPFS'] = Options.options.gpfs_headers_dir
if conf.CHECK_HEADERS('gpfs.h', False, False, "gpfs"):
conf.DEFINE('HAVE_GPFS', '1')