aboutsummaryrefslogtreecommitdiffstats
path: root/configure.py
diff options
context:
space:
mode:
authorlloyd <[email protected]>2009-07-01 23:57:15 +0000
committerlloyd <[email protected]>2009-07-01 23:57:15 +0000
commitcf1370f1c116848ab4a454195f03b8007dd87a73 (patch)
tree9917c0a1f322692dc72465e81d3f8f28f4fde03a /configure.py
parent9834933bc1df57d7316c6830542a5f2b7c14555e (diff)
Handle the local config option
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 fe0abf615..64e25d415 100755
--- a/configure.py
+++ b/configure.py
@@ -41,6 +41,9 @@ def process_command_line(args):
parser.add_option("--docdir", dest="docdir", default="docdir",
help="set the documentation installation directory")
+ parser.add_option("--with-local-config", dest="local_config", metavar="FILE",
+ help="include the contents of FILE into build.h")
+
compat_with_autoconf_options = [
"bindir",
"datadir",
@@ -298,7 +301,9 @@ def create_template_vars(options, modules, cc, arch, osinfo):
vars['target_cpu_defines'] = arch.defines(options.cpu)
vars['target_compiler_defines'] = cc.defines()
- vars['local_config'] = "NO LOCAL CONFIG FOR YOU"
+ vars['local_config'] = ""
+ if options.local_config != None:
+ vars['local_config'] = ''.join(open(options.local_config).readlines())
vars['cc'] = cc.binary_name
vars['lib_opt'] = cc.lib_opt_flags