diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2016-09-14 11:26:54 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2016-09-16 17:31:12 +0200 |
| commit | 38098bf7b4c00551afd770eb6ac81cf96aa32c38 (patch) | |
| tree | 6fd6eeedc62b0ad7aaf94f5ca0d7854bd7b3b5c6 | |
| parent | 2a9b10c7cdc7902a9f44ce65d36a712cacfd288a (diff) | |
| download | patches-38098bf7b4c00551afd770eb6ac81cf96aa32c38.tar patches-38098bf7b4c00551afd770eb6ac81cf96aa32c38.tar.gz | |
gnu: Add portmidi-for-extempore.
* gnu/packages/music.scm (portmidi-for-extempore): New variable.
| -rw-r--r-- | gnu/packages/music.scm | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/gnu/packages/music.scm b/gnu/packages/music.scm index f2945646fd..c62dbbc7eb 100644 --- a/gnu/packages/music.scm +++ b/gnu/packages/music.scm @@ -1081,6 +1081,23 @@ projects.") using a system-independent interface.") (license license:expat))) +(define-public portmidi-for-extempore + (package (inherit portmidi) + (name "portmidi-for-extempore") + (version "217") + (source (origin + (method url-fetch) + (uri (string-append "https://github.com/extemporelang/portmidi/" + "archive/" version ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "0gjikwciyr8kk4y3qiv1pcq58xpgw38ql1m2gs6g0qc1s8sx4235")))) + (build-system cmake-build-system) + (arguments `(#:tests? #f)) ; no tests + (native-inputs '()) + (home-page "https://github.com/extemporelang/portmidi/"))) + (define-public python-pyportmidi (package (name "python-pyportmidi") |