diff options
| -rw-r--r-- | midi_maps/wscript | 17 | ||||
| -rw-r--r-- | wscript | 1 |
2 files changed, 18 insertions, 0 deletions
diff --git a/midi_maps/wscript b/midi_maps/wscript new file mode 100644 index 0000000000..727f3b6b29 --- /dev/null +++ b/midi_maps/wscript @@ -0,0 +1,17 @@ +#!/usr/bin/python + +import os + +top = '.' +out = 'build' + +def configure(conf): + pass + +def build(bld): + maps = bld.path.ant_glob ('*.map') + bld.install_files (os.path.join(bld.env['DATADIR'], 'ardour3', 'midi_maps'), + maps) + +def options(opt): + pass @@ -34,6 +34,7 @@ children = [ 'gtk2_ardour', 'templates', 'export', + 'midi_maps' ] i18n_children = [ |