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

* gnu/packages/hurd.scm (gnumach-source-url): New procedure.
  (gnumach-headers)[source]: Adjust accordingly.
This commit is contained in:
Manolis Ragkousis 2017-01-10 19:36:44 +02:00
parent e967dd9cf4
commit 41bfcac35c
No known key found for this signature in database
GPG key ID: 327C1EF38DF54C32

View file

@ -35,6 +35,10 @@ (define (hurd-triplet? triplet)
(and (string-suffix? "-gnu" triplet)
(not (string-contains triplet "linux"))))
(define (gnumach-source-url version)
(string-append "mirror://gnu/gnumach/gnumach-"
version ".tar.gz"))
(define-public gnumach-headers
(package
(name "gnumach-headers")
@ -42,8 +46,7 @@ (define-public gnumach-headers
(source
(origin
(method url-fetch)
(uri (string-append "mirror://gnu/gnumach/gnumach-"
version ".tar.gz"))
(uri (gnumach-source-url version))
(sha256
(base32
"02hygsfpd2dljl5lg1vjjg9pizi9jyxd4aiiqzjshz6jax62jm9f"))))