diff --git a/configure.py b/configure.py index 5e014bf7a75e2a..ec4f31f69a46d3 100755 --- a/configure.py +++ b/configure.py @@ -122,6 +122,12 @@ default=None, help='force build to be considered as NOT cross compiled') +parser.add_argument('--use-prefix-to-find-headers', + action='store_true', + dest='use_prefix_to_find_headers', + default=None, + help='use the prefix to look for pre-installed headers') + parser.add_argument('--dest-os', action='store', dest='dest_os', @@ -1249,6 +1255,7 @@ def configure_node(o): o['variables']['debug_node'] = b(options.debug_node) o['default_configuration'] = 'Debug' if options.debug else 'Release' o['variables']['error_on_warn'] = b(options.error_on_warn) + o['variables']['use_prefix_to_find_headers'] = b(options.use_prefix_to_find_headers) host_arch = host_arch_win() if os.name == 'nt' else host_arch_cc() target_arch = options.dest_cpu or host_arch