aboutsummaryrefslogtreecommitdiffstats
path: root/configure.py
diff options
context:
space:
mode:
authorlloyd <[email protected]>2009-07-17 16:17:16 +0000
committerlloyd <[email protected]>2009-07-17 16:17:16 +0000
commitbd4c44afe05f571a5647715afdec088d442dd03c (patch)
treec5eb8e9287a22be5da2e2d973a02221086ccf122 /configure.py
parent361105e0a35814e02147aec70cea705bc36a49d0 (diff)
Respect --enable-module / --with-blah options
Diffstat (limited to 'configure.py')
-rwxr-xr-xconfigure.py4
1 files changed, 4 insertions, 0 deletions
diff --git a/configure.py b/configure.py
index a2bf27954..106990634 100755
--- a/configure.py
+++ b/configure.py
@@ -773,6 +773,9 @@ def choose_modules_to_use(options, modules):
for (modname, module) in modules.iteritems():
if modname in options.disabled_modules:
cannot_use_because(modname, 'disabled by user')
+ elif modname in options.enabled_modules:
+ to_load.append(modname) # trust the user
+
elif not module.compatible_cpu(options.arch, options.cpu):
cannot_use_because(modname, 'CPU incompatible')
elif not module.compatible_os(options.os):
@@ -780,6 +783,7 @@ def choose_modules_to_use(options, modules):
elif not module.compatible_compiler(options.compiler,
options.with_tr1):
cannot_use_because(modname, 'compiler incompatible')
+
else:
if module.load_on == 'never':
cannot_use_because(modname, 'disabled as buggy')