diff options
author | Ludovic Courtès <ludo@gnu.org> | 2017-04-14 18:16:32 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-04-14 18:17:58 +0200 |
commit | b31b0155ea2421821cd9293702cbb2d196943dd2 (patch) | |
tree | 6f3d1ffd41ace676604e9aa1cc2469960a93b225 /build-aux/download.scm | |
parent | 4e644ab8a6b67d1e9db459c31d8f23ee14276140 (diff) | |
download | patches-b31b0155ea2421821cd9293702cbb2d196943dd2.tar patches-b31b0155ea2421821cd9293702cbb2d196943dd2.tar.gz |
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.
Diffstat (limited to 'build-aux/download.scm')
-rw-r--r-- | build-aux/download.scm | 20 |
1 files changed, 9 insertions, 11 deletions
diff --git a/build-aux/download.scm b/build-aux/download.scm index 0e98bef55b..8dfa914603 100644 --- a/build-aux/download.scm +++ b/build-aux/download.scm @@ -42,17 +42,15 @@ (match (string-tokenize file (char-set-complement (char-set #\/))) ((_ ... system basename) (string->uri - (match system - ("aarch64-linux" - (string-append "http://flashner.co.il/guix/bootstrap/aarch64-linux" - "/20170217/" basename)) - (_ (string-append %url-base "/" system - (match system - ("armhf-linux" - "/20150101/") - (_ - "/20131110/")) - basename))))))) + (string-append %url-base "/" system + (match system + ("aarch64-linux" + "/20170217/") + ("armhf-linux" + "/20150101/") + (_ + "/20131110/")) + basename))))) (match (command-line) ((_ file expected-hash) |