gnu: Add portmidi.
authorRicardo Wurmus <rekado@elephly.net>
Wed, 27 Apr 2016 19:20:07 +0000 (21:20 +0200)
committerRicardo Wurmus <rekado@elephly.net>
Mon, 2 May 2016 18:02:20 +0000 (20:02 +0200)
commitaacb52fb0fe8ad48b923daa500f021dc99661fda
treea6169f56cc6b452621836e7b3628bedc0b4916e0
parent62063d8546bec2d528ba56dabbe97e57332e782a
gnu: Add portmidi.

* gnu/packages/music.scm (portmidi): New variable.
* gnu/packages/patches/portmidi-modular-build.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
gnu/local.mk
gnu/packages/music.scm
gnu/packages/patches/portmidi-modular-build.patch [new file with mode: 0644]