aboutsummaryrefslogtreecommitdiffstats
path: root/configure.py
diff options
context:
space:
mode:
authorlloyd <[email protected]>2010-06-13 15:52:55 +0000
committerlloyd <[email protected]>2010-06-13 15:52:55 +0000
commitdf0222e101d908151be837e7ef46ab715f71973f (patch)
treee64c1a35ede1a7c43d20bbd49a2d4b2f1cdf4a3b /configure.py
parent781712f324aac1df9b3e7400bb134fb2641974dc (diff)
Rename the --use-boost-python optin to --with-boost-python, and add a
--without-boost-python to explicitly disable it. This makes it much easier to use at least in Gentoo's ebuild system, and perhaps with other packaging systems as well.
Diffstat (limited to 'configure.py')
-rwxr-xr-xconfigure.py7
1 files changed, 6 insertions, 1 deletions
diff --git a/configure.py b/configure.py
index c63f9a4b1..4c8aad17c 100755
--- a/configure.py
+++ b/configure.py
@@ -208,10 +208,15 @@ def process_command_line(args):
build_group.add_option('--disable-debug', dest='debug_build',
action='store_false', help=SUPPRESS_HELP)
- build_group.add_option('--use-boost-python', dest='boost_python',
+ build_group.add_option('--with-boost-python', dest='boost_python',
default=False, action='store_true',
help='enable Boost.Python wrapper')
+ build_group.add_option('--without-boost-python',
+ dest='boost_python',
+ action='store_false',
+ help=SUPPRESS_HELP)
+
build_group.add_option('--gen-amalgamation', dest='gen_amalgamation',
default=False, action='store_true',
help='generate amalgamation files')