diff --git a/wscript b/wscript index bb3b55783f..40e304a0ff 100644 --- a/wscript +++ b/wscript @@ -147,6 +147,10 @@ configuration in order to save typing. default=False, help="Enable SFML graphics library") + g.add_option('--enable-scripting', action='store_true', + default=False, + help="Enable onboard scripting engine") + g.add_option('--static', action='store_true', default=False, @@ -234,6 +238,12 @@ def configure(cfg): else: cfg.end_msg('disabled', color='YELLOW') + cfg.start_msg('Scripting') + if cfg.options.enable_scripting: + cfg.end_msg('enabled') + else: + cfg.end_msg('disabled', color='YELLOW') + cfg.env.append_value('GIT_SUBMODULES', 'mavlink') cfg.env.prepend_value('INCLUDES', [