diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2013-07-17 15:32:52 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2013-07-17 15:32:52 +0200 |
| commit | 6023cc74290831c49c4f5a7d9fc055d4493ad055 (patch) | |
| tree | 6100e687dc8ed2e4acfa33c1ca73b13c6417972b | |
| parent | 18555772079bb568173355a4f972e4add87a26b3 (diff) | |
| download | guix-6023cc74290831c49c4f5a7d9fc055d4493ad055.tar guix-6023cc74290831c49c4f5a7d9fc055d4493ad055.tar.gz | |
gnu: linux-libre: Add alternate URLs.
Fixes <http://bugs.gnu.org/14851>.
Reported by Andreas Enge <andreas@enge.fr>.
* gnu/packages/linux.scm (linux-libre-urls): New procedure.
(linux-libre-headers, linux-libre): Use it.
| -rw-r--r-- | gnu/packages/linux.scm | 24 |
1 files changed, 18 insertions, 6 deletions
diff --git a/gnu/packages/linux.scm b/gnu/packages/linux.scm index dde53e9f5d..3a37f572cb 100644 --- a/gnu/packages/linux.scm +++ b/gnu/packages/linux.scm @@ -42,6 +42,22 @@ ((string-prefix? "arm" arch) "arm") (else arch)))) +(define (linux-libre-urls version) + "Return a list of URLs for Linux-Libre VERSION." + (list (string-append + "http://linux-libre.fsfla.org/pub/linux-libre/releases/" + version "-gnu/linux-libre-" version "-gnu.tar.xz") + + ;; XXX: Work around <http://bugs.gnu.org/14851>. + (string-append + "ftp://alpha.gnu.org/gnu/guix/mirror/linux-libre-" + version "-gnu.tar.xz") + + ;; Maybe this URL will become valid eventually. + (string-append + "mirror://gnu/linux-libre/" version "-gnu/linux-libre-" + version "-gnu.tar.xz"))) + (define-public linux-libre-headers (let* ((version* "3.3.8") (build-phase @@ -69,9 +85,7 @@ (version version*) (source (origin (method url-fetch) - (uri (string-append - "http://linux-libre.fsfla.org/pub/linux-libre/releases/3.3.8-gnu/linux-libre-" - version "-gnu.tar.xz")) + (uri (linux-libre-urls version)) (sha256 (base32 "0jkfh0z1s6izvdnc3njm39dhzp1cg8i06jv06izwqz9w9qsprvnl")))) @@ -175,9 +189,7 @@ (version version*) (source (origin (method url-fetch) - (uri (string-append - "http://linux-libre.fsfla.org/pub/linux-libre/releases/3.3.8-gnu/linux-libre-" - version "-gnu.tar.xz")) + (uri (linux-libre-urls version)) (sha256 (base32 "0jkfh0z1s6izvdnc3njm39dhzp1cg8i06jv06izwqz9w9qsprvnl")))) |