aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2018-11-10 22:43:05 +0100
committerRicardo Wurmus <rekado@elephly.net>2018-11-10 23:29:25 +0100
commit57906fad59a8527f0eb912b293941968c77aa9f0 (patch)
tree469f941a14552602c5cb7ea4cade0b94cc15b225 /gnu/packages
parentca364e7a3caef120ce19f38aa36edd491f226a82 (diff)
downloadpatches-57906fad59a8527f0eb912b293941968c77aa9f0.tar
patches-57906fad59a8527f0eb912b293941968c77aa9f0.tar.gz
gnu: portmidi-for-extempore: Fetch sources from git.
* gnu/packages/music.scm (portmidi-for-extempore)[source]: Fetch from git.
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/music.scm11
1 files changed, 6 insertions, 5 deletions
diff --git a/gnu/packages/music.scm b/gnu/packages/music.scm
index 28a40839b6..5e545e20d1 100644
--- a/gnu/packages/music.scm
+++ b/gnu/packages/music.scm
@@ -1865,13 +1865,14 @@ using a system-independent interface.")
(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"))
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/extemporelang/portmidi.git")
+ (commit version)))
+ (file-name (git-file-name name version))
(sha256
(base32
- "0gjikwciyr8kk4y3qiv1pcq58xpgw38ql1m2gs6g0qc1s8sx4235"))))
+ "1inriyrjf7xx2b7r54x0vmf9ngyqgr7g5060c22bwkbsgg53apzv"))))
(build-system cmake-build-system)
(arguments `(#:tests? #f)) ; no tests
(native-inputs '())