gnu: hurd: Add hurd-source-url procedure.

* gnu/packages/hurd.scm (hurd-source-url): New procedure.
  (hurd-headers)[source]: Adjust accordingly.
This commit is contained in:
Manolis Ragkousis 2017-04-08 16:49:09 +03:00
parent 71d0420202
commit b005a37ac2
No known key found for this signature in database
GPG Key ID: 327C1EF38DF54C32
1 changed files with 5 additions and 2 deletions

View File

@ -39,6 +39,10 @@
(string-append "mirror://gnu/gnumach/gnumach-" (string-append "mirror://gnu/gnumach/gnumach-"
version ".tar.gz")) version ".tar.gz"))
(define (hurd-source-url version)
(string-append "mirror://gnu/hurd/hurd-"
version ".tar.gz"))
(define-public gnumach-headers (define-public gnumach-headers
(package (package
(name "gnumach-headers") (name "gnumach-headers")
@ -113,8 +117,7 @@ communication.")
(version "0.9") (version "0.9")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "mirror://gnu/hurd/hurd-" (uri (hurd-source-url version))
version ".tar.gz"))
(sha256 (sha256
(base32 (base32
"1nw9gly0n7pyv3cpfm4mmxy4yccrx4g0lyrvd3vk2vil26jpbggw")))) "1nw9gly0n7pyv3cpfm4mmxy4yccrx4g0lyrvd3vk2vil26jpbggw"))))