Patch from acolomb to fix installation of midi_maps (#4430).

git-svn-id: svn://localhost/ardour2/branches/3.0@10390 d708f5d6-7413-0410-9779-e7cbd77b26cf

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
diff --git a/wscript b/wscript
index f0515cd357..0844e9b080 100644
--- a/wscript
+++ b/wscript
@@ -34,6 +34,7 @@ children = [
         'gtk2_ardour',
         'templates',
         'export',
+        'midi_maps'
 ]
 
 i18n_children = [