;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès <ludo@gnu.org>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

;;;
;;; Check whether important binaries are available.
;;;

(use-modules (guix store)
             (guix grafts)
             (guix packages)
             (guix derivations)
             (gnu packages emacs)
             (gnu packages make-bootstrap)
             (srfi srfi-1)
             (srfi srfi-26)
             (ice-9 format))

(with-store store
  (parameterize ((%graft? #f))
    (let* ((native (append-map (lambda (system)
                                 (map (cut package-derivation store <> system)
                                      (list %bootstrap-tarballs emacs)))
                               %hydra-supported-systems))
           (cross  (map (cut package-cross-derivation store
                             %bootstrap-tarballs <>)
                        '("mips64el-linux-gnu"
                          "arm-linux-gnueabihf")))
           (total  (append native cross)))

      (set-build-options store
                         #:use-substitutes? #t
                         #:substitute-urls %default-substitute-urls)
      (let* ((total     (map derivation->output-path total))
             (available (substitutable-paths store total))
             (missing   (lset-difference string=? total available)))
        (if (null? missing)
            (format (current-error-port)
                    "~a packages found substitutable on~{ ~a~}~%"
                    (length total) %hydra-supported-systems)
            (format (current-error-port)
                    "~a packages are not substitutable:~%~{  ~a~%~}~%"
                    (length missing) missing))
        (exit (null? missing))))))
8fb092ff&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-01-12 00:19:10 +0100'>2020-01-12</span></td><td><a href='/guix/commit/doc/htmlxref.cnf?id=30d83f445b70ebce7f01eaa91c8f418ff0a98321'>doc: Update htmlxref.cnf.</a><span class='msg-avail'>...<span class='msg-tooltip'>* doc/htmlxref.cnf: Update from Texinfo.  Add entries for "mes",
"guix.ru", and "guix.zh_CN".
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2019-05-04 23:07:38 +0200'>2019-05-04</span></td><td><a href='/guix/commit/doc/htmlxref.cnf?id=e8f8363cdebb24dc359cadba7ae0a689fb21fb99'>doc: Update htmlxref.cnf.</a><span class='msg-avail'>...<span class='msg-tooltip'>* doc/htmlxref.cnf (G): Switch to https.
(geiser, guix.de, guix.es, hurd): New entries.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-07-05 22:16:10 +0200'>2018-07-05</span></td><td><a href='/guix/commit/doc/htmlxref.cnf?id=c35f77c5a07690fc9d369ed4b751a5a9e5de6cf1'>doc: Update URL of the Emacs-Guix manual.</a><span class='msg-avail'>...<span class='msg-tooltip'>* doc/htmlxref.cnf (EMACS_GUIX): Update URL.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-07-05 22:13:23 +0200'>2018-07-05</span></td><td><a href='/guix/commit/doc/htmlxref.cnf?id=56b4dabc2ba3446ff212e0d4d9e2df15fc25e88f'>doc: Mention translations of the manual.</a><span class='msg-avail'>...<span class='msg-tooltip'>* doc/guix.texi (Top): Add note about l10n.
* doc/htmlxref.cnf: Add "guix.fr".
</span></span></td><td>Ludovic Courtès</td></tr>