diff options
| author | lloyd <[email protected]> | 2009-07-01 23:57:15 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2009-07-01 23:57:15 +0000 |
| commit | cf1370f1c116848ab4a454195f03b8007dd87a73 (patch) | |
| tree | 9917c0a1f322692dc72465e81d3f8f28f4fde03a | |
| parent | 9834933bc1df57d7316c6830542a5f2b7c14555e (diff) | |
Handle the local config option
| -rwxr-xr-x | configure.py | 7 |
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 |