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