From 37251faaf11e3bda1fff22388f3203164c9ae3d6 Mon Sep 17 00:00:00 2001 From: Robin Gareus Date: Sat, 19 Nov 2022 00:59:38 +0100 Subject: [PATCH] Add missing wscript file --- libs/ctrl-interface/wscript | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 libs/ctrl-interface/wscript diff --git a/libs/ctrl-interface/wscript b/libs/ctrl-interface/wscript new file mode 100644 index 0000000000..9422be6bf2 --- /dev/null +++ b/libs/ctrl-interface/wscript @@ -0,0 +1,33 @@ +#!/usr/bin/env python +from waflib.extras import autowaf as autowaf +from waflib import Options + +# Mandatory variables +top = '.' +out = 'build' + +children = [ + 'control_protocol', + 'midi_surface' +] + +def options(opt): + autowaf.set_options(opt) + +def sub_config_and_use(conf, name, has_objects = True): + conf.recurse(name) + autowaf.set_local_lib(conf, name, has_objects) + +def configure(conf): + global children + autowaf.set_recursive() + for i in children: + sub_config_and_use(conf, i) + +def build(bld): + global children + for i in children: + bld.recurse(i) + +def shutdown(): + autowaf.shutdown()