diff options
| author | Manolis Ragkousis <manolis837@gmail.com> | 2017-04-08 16:49:09 +0300 |
|---|---|---|
| committer | Manolis Ragkousis <manolis837@gmail.com> | 2017-04-22 23:01:24 +0300 |
| commit | b005a37ac23f97d6859152c2a86b7af5d26ebd5c (patch) | |
| tree | ad53f342267acd2f313cd752d179189e59e48085 /gnu/packages/hurd.scm | |
| parent | 71d04202026e2061f898a142a8381d55bee5fb00 (diff) | |
| download | patches-b005a37ac23f97d6859152c2a86b7af5d26ebd5c.tar patches-b005a37ac23f97d6859152c2a86b7af5d26ebd5c.tar.gz | |
gnu: hurd: Add hurd-source-url procedure.
* gnu/packages/hurd.scm (hurd-source-url): New procedure.
(hurd-headers)[source]: Adjust accordingly.
Diffstat (limited to 'gnu/packages/hurd.scm')
| -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 b5da4cb963..12fce5453d 100644 --- a/gnu/packages/hurd.scm +++ b/gnu/packages/hurd.scm @@ -39,6 +39,10 @@ (string-append "mirror://gnu/gnumach/gnumach-" version ".tar.gz")) +(define (hurd-source-url version) + (string-append "mirror://gnu/hurd/hurd-" + version ".tar.gz")) + (define-public gnumach-headers (package (name "gnumach-headers") @@ -113,8 +117,7 @@ communication.") (version "0.9") (source (origin (method url-fetch) - (uri (string-append "mirror://gnu/hurd/hurd-" - version ".tar.gz")) + (uri (hurd-source-url version)) (sha256 (base32 "1nw9gly0n7pyv3cpfm4mmxy4yccrx4g0lyrvd3vk2vil26jpbggw")))) |