diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2018-11-10 22:43:05 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2018-11-10 23:29:25 +0100 |
| commit | 57906fad59a8527f0eb912b293941968c77aa9f0 (patch) | |
| tree | 469f941a14552602c5cb7ea4cade0b94cc15b225 /gnu | |
| parent | ca364e7a3caef120ce19f38aa36edd491f226a82 (diff) | |
| download | patches-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')
| -rw-r--r-- | gnu/packages/music.scm | 11 |
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 '()) |