gnu: portmidi-for-extempore: Fetch sources from git.

* gnu/packages/music.scm (portmidi-for-extempore)[source]: Fetch from git.
This commit is contained in:
Ricardo Wurmus 2018-11-10 22:43:05 +01:00
parent ca364e7a3c
commit 57906fad59
No known key found for this signature in database
GPG key ID: 197A5888235FACAC

View file

@ -1865,13 +1865,14 @@ (define-public portmidi-for-extempore
(name "portmidi-for-extempore") (name "portmidi-for-extempore")
(version "217") (version "217")
(source (origin (source (origin
(method url-fetch) (method git-fetch)
(uri (string-append "https://github.com/extemporelang/portmidi/" (uri (git-reference
"archive/" version ".tar.gz")) (url "https://github.com/extemporelang/portmidi.git")
(file-name (string-append name "-" version ".tar.gz")) (commit version)))
(file-name (git-file-name name version))
(sha256 (sha256
(base32 (base32
"0gjikwciyr8kk4y3qiv1pcq58xpgw38ql1m2gs6g0qc1s8sx4235")))) "1inriyrjf7xx2b7r54x0vmf9ngyqgr7g5060c22bwkbsgg53apzv"))))
(build-system cmake-build-system) (build-system cmake-build-system)
(arguments `(#:tests? #f)) ; no tests (arguments `(#:tests? #f)) ; no tests
(native-inputs '()) (native-inputs '())