diff --git a/wscript b/wscript index 468f34e29c..ef3fa4bb17 100644 --- a/wscript +++ b/wscript @@ -124,6 +124,14 @@ submodules at specific revisions. default=False, help="Enable checking of math indexes") + g.add_option('--enable-scripting', action='store_true', + default=False, + help="Enable onboard scripting engine") + + g.add_option('--scripting-checks', action='store_true', + default=True, + help="Enable runtime scripting sanity checks") + g = opt.ap_groups['linux'] linux_options = ('--prefix', '--destdir', '--bindir', '--libdir') @@ -169,10 +177,6 @@ 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, @@ -269,6 +273,12 @@ def configure(cfg): else: cfg.end_msg('disabled', color='YELLOW') + cfg.start_msg('Scripting runtime checks') + if cfg.options.scripting_checks: + cfg.end_msg('enabled') + else: + cfg.end_msg('disabled', color='YELLOW') + cfg.env.append_value('GIT_SUBMODULES', 'mavlink') cfg.env.prepend_value('INCLUDES', [