diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2016-04-27 21:20:07 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2016-05-02 20:02:20 +0200 |
commit | aacb52fb0fe8ad48b923daa500f021dc99661fda (patch) | |
tree | a6169f56cc6b452621836e7b3628bedc0b4916e0 /gnu/packages/music.scm | |
parent | 62063d8546bec2d528ba56dabbe97e57332e782a (diff) |
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.
Diffstat (limited to 'gnu/packages/music.scm')
-rw-r--r-- | gnu/packages/music.scm | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/gnu/packages/music.scm b/gnu/packages/music.scm index 95f52c5dd6..96495bf660 100644 --- a/gnu/packages/music.scm +++ b/gnu/packages/music.scm @@ -958,6 +958,36 @@ programming methods as well as for realizing complex systems for large-scale projects.") (license license:bsd-3))) +(define-public portmidi + (package + (name "portmidi") + (version "217") + (source (origin + (method url-fetch) + (uri (string-append "mirror://sourceforge/portmedia/portmidi/" + version "/portmidi-src-" version ".zip")) + (sha256 + (base32 + "03rfsk7z6rdahq2ihy5k13qjzgx757f75yqka88v3gc0pn9ais88")) + (patches (list (search-patch "portmidi-modular-build.patch"))))) + (build-system cmake-build-system) + (arguments + `(#:tests? #f ; tests cannot be linked + #:configure-flags + (list "-DPORTMIDI_ENABLE_JAVA=Off" + "-DCMAKE_BUILD_TYPE=Release" ; needed to have PMALSA set + "-DPORTMIDI_ENABLE_TEST=Off"))) ; tests fail linking + (inputs + `(("alsa-lib" ,alsa-lib))) + (native-inputs + `(("unzip" ,unzip))) + (home-page "http://portmedia.sourceforge.net/portmidi/") + (synopsis "Library for MIDI I/O") + (description + "PortMidi is a library supporting real-time input and output of MIDI data +using a system-independent interface.") + (license license:expat))) + (define-public frescobaldi (package (name "frescobaldi") |