aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2013-07-17 15:32:52 +0200
committerLudovic Courtès <ludo@gnu.org>2013-07-17 15:32:52 +0200
commit6023cc74290831c49c4f5a7d9fc055d4493ad055 (patch)
tree6100e687dc8ed2e4acfa33c1ca73b13c6417972b
parent18555772079bb568173355a4f972e4add87a26b3 (diff)
downloadgnu-guix-6023cc74290831c49c4f5a7d9fc055d4493ad055.tar
gnu-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.scm24
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"))))