diff --git a/configure b/configure index 4f6874453f..87b88e5593 100755 --- a/configure +++ b/configure @@ -656,6 +656,10 @@ config = { 'USE_XCODE': str(int(options.use_xcode or 0)), 'PYTHON': sys.executable, } + +if options.prefix: + config['PREFIX'] = options.prefix + config = '\n'.join(map('='.join, config.iteritems())) + '\n' write('config.mk',