summary refs log tree commit diff
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.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")