summaryrefslogtreecommitdiff
path: root/gnu/packages/hurd.scm
diff options
context:
space:
mode:
authorManolis Ragkousis <manolis837@gmail.com>2017-01-10 19:36:44 +0200
committerManolis Ragkousis <manolis837@gmail.com>2017-02-16 18:10:21 +0200
commit41bfcac35c99918e28753cc601ca9b6c0447d9b0 (patch)
tree24a1de088d45dcaa82fd80af570d8ce5de6ecc21 /gnu/packages/hurd.scm
parente967dd9cf42d2cca48786067f17a42bedd031e71 (diff)
downloadpatches-41bfcac35c99918e28753cc601ca9b6c0447d9b0.tar
patches-41bfcac35c99918e28753cc601ca9b6c0447d9b0.tar.gz
gnu: hurd: Add gnumach-source-url procedure.
* gnu/packages/hurd.scm (gnumach-source-url): New procedure. (gnumach-headers)[source]: Adjust accordingly.
Diffstat (limited to 'gnu/packages/hurd.scm')
-rw-r--r--gnu/packages/hurd.scm7
1 files changed, 5 insertions, 2 deletions
diff --git a/gnu/packages/hurd.scm b/gnu/packages/hurd.scm
index 557091d055..ba91b60bea 100644
--- a/gnu/packages/hurd.scm
+++ b/gnu/packages/hurd.scm
@@ -35,6 +35,10 @@
(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 @@
(source
(origin
(method url-fetch)
- (uri (string-append "mirror://gnu/gnumach/gnumach-"
- version ".tar.gz"))
+ (uri (gnumach-source-url version))
(sha256
(base32
"02hygsfpd2dljl5lg1vjjg9pizi9jyxd4aiiqzjshz6jax62jm9f"))))