aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2016-09-14 11:26:54 +0200
committerRicardo Wurmus <rekado@elephly.net>2016-09-16 17:31:12 +0200
commit38098bf7b4c00551afd770eb6ac81cf96aa32c38 (patch)
tree6fd6eeedc62b0ad7aaf94f5ca0d7854bd7b3b5c6 /gnu
parent2a9b10c7cdc7902a9f44ce65d36a712cacfd288a (diff)
downloadguix-38098bf7b4c00551afd770eb6ac81cf96aa32c38.tar
guix-38098bf7b4c00551afd770eb6ac81cf96aa32c38.tar.gz
gnu: Add portmidi-for-extempore.
* gnu/packages/music.scm (portmidi-for-extempore): New variable.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/music.scm17
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")