diff options
| author | Manolis Ragkousis <manolis837@gmail.com> | 2017-01-10 19:36:44 +0200 |
|---|---|---|
| committer | Manolis Ragkousis <manolis837@gmail.com> | 2017-02-16 18:10:21 +0200 |
| commit | 41bfcac35c99918e28753cc601ca9b6c0447d9b0 (patch) | |
| tree | 24a1de088d45dcaa82fd80af570d8ce5de6ecc21 | |
| parent | e967dd9cf42d2cca48786067f17a42bedd031e71 (diff) | |
| download | patches-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.
| -rw-r--r-- | gnu/packages/hurd.scm | 7 |
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")))) |