;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2013, 2014, 2015, 2016, 2017, 2018, 2019 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)
             (gnu packages certs)
             (gnu packages emacs)
             (gnu packages make-bootstrap)
             (gnu packages ssh)
             (srfi srfi-1)
             (srfi srfi-26)
             (ice-9 format))

(define (packages-for-system system)
  "Return the list of packages to check for SYSTEM."
  (let ((base (list %bootstrap-tarballs emacs nss-certs openssh)))
    ;; On Intel systems, make sure key packages proposed by the installer are
    ;; available.
    (if (member system '("x86_64-linux" "i686-linux"))
        (append (map specification->package
                     '("xfce" "gnome" "mate" "enlightenment"
                       "openbox" "awesome" "i3-wm" "ratpoison"
                       "network-manager-applet" "xlockmore"
                       "linux-libre" "grub-hybrid" "xorg-server"
                       "libreoffice"
                       ;; FIXME: Add IceCat when Rust is available on i686.
                       #;"icecat"))
                base)
        base)))

(with-store store
  (parameterize ((%graft? #f))
    (let* ((native (append-map (lambda (system)
                                 (map (cut package-derivation store <> system)
                                      (packages-for-system system)))
                               %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))))))