Merge remote-tracking branch 'origin/master' into core-updates

[jackhill/guix/guix.git] / build-aux / download.scm

diff --git a/build-aux/download.scm b/build-aux/download.scm
index c5486f8..e0b40e6 100644 (file)
--- a/build-aux/download.scm
+++ b/build-aux/download.scm
@@ -1,5 +1,7 @@
 ;;; GNU Guix --- Functional package management for GNU
 ;;; Copyright © 2012, 2013 Ludovic Courtès <ludo@gnu.org>
+;;; Copyright © 2014, 2015 Mark H Weaver <mhw@netris.org>
+;;; Copyright © 2017 Efraim Flashner <efraim@flashner.co.il>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -25,7 +27,8 @@
              (web client)
              (rnrs io ports)
              (srfi srfi-11)
-             (guix utils))
+             (guix utils)
+             (guix hash))
 
 (define %url-base
   "http://alpha.gnu.org/gnu/guix/bootstrap"
@@ -43,13 +46,23 @@
   "Return the URI for FILE."
   (match (string-tokenize file (char-set-complement (char-set #\/)))
     ((_ ... system basename)
-     (string->uri (string-append %url-base "/" system
-                                 "/20130105/" 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)))))))
 
 (match (command-line)
   ((_ file expected-hash)
    (let ((uri (file-name->uri file)))
-     (format #t "downloading file `~a' from `~a'...~%"
+     (format #t "downloading file `~a'~%from `~a'...~%"
              file (uri->string uri))
      (let*-values (((resp data) (http-get uri #:decode-body? #f))
                    ((hash)      (bytevector->base16-string (sha256 data)))