diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -19,6 +19,11 @@ parser.add_option("--debug", dest="debug", help="Also build debug build") +parser.add_option("--boost", + action="store", + dest="boost_root", + help="Path to boost (defaults to /usr/local)") + parser.add_option("--glfw3", action="store", dest="glfw3", @@ -55,6 +60,10 @@ def pkg_config(pkg): return (libs, cflags) def configure_llmr(o): + if options.boost_root: + o['variables']['boost_root'] = options.boost_root + else: + o['variables']['boost_root'] = '/usr/local' o['target_defaults']['default_configuration'] = 'Debug' if options.debug else 'Release' def configure_glfw3(o): |