build: Download aarch64 bootstrap binaries from alpha.gnu.org.

* build-aux/download.scm (file-name->uri): Remove flashner.co.il URL.
* gnu/packages/package-management.scm (boot-guile-uri): Likewise.
This commit is contained in:
Ludovic Courtès 2017-04-14 18:16:32 +02:00
parent 4e644ab8a6
commit b31b0155ea
No known key found for this signature in database
GPG Key ID: 090B11993D9AEBB5
2 changed files with 11 additions and 14 deletions

@ -42,17 +42,15 @@
(match (string-tokenize file (char-set-complement (char-set #\/)))
((_ ... system basename)
(string->uri
(string-append %url-base "/" system
(match system
("aarch64-linux"
(string-append "http://flashner.co.il/guix/bootstrap/aarch64-linux"
"/20170217/" basename))
(_ (string-append %url-base "/" system
(match system
"/20170217/")
("armhf-linux"
"/20150101/")
(_
"/20131110/"))
basename)))))))
basename)))))
(match (command-line)
((_ file expected-hash)

@ -61,9 +61,8 @@
arch "-linux"
"/20150101/guile-2.0.11.tar.xz"))
((string=? "aarch64" arch)
(let ((suffix "/bootstrap/aarch64-linux/20170217/guile-2.0.14.tar.xz"))
(list (string-append "http://alpha.gnu.org/gnu/guix" suffix)
(string-append "http://flashner.co.il/guix" suffix))))
(string-append "http://alpha.gnu.org/gnu/guix/bootstrap/"
arch "-linux/20170217/guile-2.0.14.tar.xz"))
(else
(string-append "http://alpha.gnu.org/gnu/guix/bootstrap/"
arch "-linux"