diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-01 17:22:11 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-01 17:22:11 (GMT) |
commit | 9d4bcf514ae2a6f68f5b9ce28cb35addd65cf1f7 (patch) | |
tree | ee106a0d94e2e715d9abcdb975c02dd8ce9cf9be /devbot/build.py | |
parent | f0e7ce55780ce3d11e985fb4e4f9a7efaf5c8dc5 (diff) |
Build gnome-keyring with XDG_HOME_DATA support
Diffstat (limited to 'devbot/build.py')
-rw-r--r-- | devbot/build.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/devbot/build.py b/devbot/build.py index 8740927..98cf368 100644 --- a/devbot/build.py +++ b/devbot/build.py @@ -97,6 +97,9 @@ def _pull_module(module): return True +def _eval_option(option): + return eval(option, {"prefix": config.prefix_dir}) + def _build_autotools(module, log): makefile_path = os.path.join(module.get_build_dir(), "Makefile") @@ -108,6 +111,9 @@ def _build_autotools(module, log): "--libdir", config.lib_dir] args.extend(module.options) + for option in module.options_evaluated: + args.append(_eval_option(option)) + command.run(args, log) jobs = multiprocessing.cpu_count() * 2 |