;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2022 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/>.

;;; This file returns a manifest containing entries to build past Guix
;;; releases from the current Guix, as per 'guix time-machine'.

(use-modules (srfi srfi-9) (ice-9 match)
             (guix channels) (guix gexp)
             ((guix store) #:select (%store-monad))
             ((guix monads) #:select (mparameterize return))
             ((guix git) #:select (%repository-cache-directory))
             ((guix build utils) #:select (mkdir-p)))

;; Representation of the latest channels.  This type exists just so we can
;; refer to such records in a gexp.
(define-record-type <guix-instance>
  (guix-instance channels)
  guix-instance?
  (channels guix-instance-channels))

(define-gexp-compiler (guix-instance-compiler (instance <guix-instance>)
                                              system target)
  (match instance
    (($ <guix-instance> channels)
     ;; When this manifest is evaluated by Cuirass, make sure it does not
     ;; fiddle with the cached checkout that Cuirass is also using since
     ;; concurrent accesses are unsafe.
     (mparameterize %store-monad ((%repository-cache-directory
                                   (string-append (%repository-cache-directory)
                                                  "/time-travel/" system)))
       (return (mkdir-p (%repository-cache-directory)))
       (latest-channel-derivation channels)))))

(define (guix-instance->manifest-entry instance)
  "Return a manifest entry for INSTANCE."
  (define (shorten commit)
    (string-take commit 7))

  (manifest-entry
    (name "guix")
    (version (string-join (map (compose shorten channel-commit)
                               (guix-instance-channels instance))
                          "-"))
    (item instance)))

(define (commit->guix-instance commit)
  "Return a Guix instance for COMMIT."
  (guix-instance (list (channel
                        (inherit %default-guix-channel)
                        (commit commit)))))

(define %release-commits
  ;; Release commits: the list of version/commit pairs.
  ;;
  ;; Note: To merely compute the derivation of these revisions, we need to be
  ;; able to build their dependencies.  Some of them no longer build from
  ;; source due to time traps like <https://issues.guix.gnu.org/58650>; those
  ;; need to be built beforehand in a virtual build machine running "in the
  ;; past".
  '(("1.4.0" . "8e2f32cee982d42a79e53fc1e9aa7b8ff0514714")
    ("1.3.0" . "a0178d34f582b50e9bdbb0403943129ae5b560ff")
    ("1.2.0" . "a099685659b4bfa6b3218f84953cbb7ff9e88063")
    ("1.1.0" . "d62c9b2671be55ae0305bebfda17b595f33797f2")
    ("1.0.1" . "d68de958b60426798ed62797ff7c96c327a672ac")
    ("1.0.0" . "6298c3ffd9654d3231a6f25390b056483e8f407c")
    ("0.16.0" . "4a0b87f0ec5b6c2dcf82b372dd20ca7ea6acdd9c")))

(manifest
 (map (match-lambda
        ((version . commit)
         (let ((entry (guix-instance->manifest-entry
                       (commit->guix-instance commit))))
           (manifest-entry
             (inherit entry)
             (version version)))))
      %release-commits))
ilable-binaries.scm?id=5c7e1a32709365949ebc952109621bc770d44664'>build: Use (guix grafts) as needed.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-07-21 22:28:20 +0200'>2015-07-21</span></td><td><a href='/guix/commit/build-aux/check-available-binaries.scm?id=e348eaaf318646e259a5e6803133ad5b296febc1'>check-available-binaries: Use 'substitutable-paths'.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-05-01 17:38:09 +0200'>2015-05-01</span></td><td><a href='/guix/commit/build-aux/check-available-binaries.scm?id=78bed82d193d73488f18d76165aa3f809122311f'>check-available-binaries: Use %HYDRA-SUPPORTED-SYSTEMS.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-02-24 23:43:03 +0100'>2015-02-24</span></td><td><a href='/guix/commit/build-aux/check-available-binaries.scm?id=43da8f018d5835b62e8f5f1f4e2cc701f828a3db'>build: Disable grafting in sanity checks.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-01-14 18:28:46 +0100'>2015-01-14</span></td><td><a href='/guix/commit/build-aux/check-available-binaries.scm?id=df5188ddfa0c004009c7fcb0ce09a27bb50b9a59'>check-available-binaries: Use 'substitution-oracle'.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-01-14 18:20:01 +0100'>2015-01-14</span></td><td><a href='/guix/commit/build-aux/check-available-binaries.scm?id=619c9522b2d6d7c451f90524c3a041c5fb12c28e'>check-available-binaries: Use 'with-store'.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2015-01-14 17:05:10 +0100'>2015-01-14</span></td><td><a href='/guix/commit/build-aux/check-available-binaries.scm?id=58caebf0327aafe6240612f28c339f5a00cd2c92'>build: Use the canonical list of supported systems in 'assert-*'.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2014-03-25 20:45:13 +0100'>2014-03-25</span></td><td><a href='/guix/commit/build-aux/check-available-binaries.scm?id=eafee15b3ce3638058c43974244964dbd48ec15d'>check-available-binaries: Make sure substitutes are enabled.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2013-09-23 00:33:50 +0200'>2013-09-23</span></td><td><a href='/guix/commit/build-aux/check-available-binaries.scm?id=f59e9eaac87b4365c646a475d44b431e43949649'>build: check-available-binaries: Adjust to derivation API change.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2013-07-17 11:07:28 +0200'>2013-07-17</span></td><td><a href='/guix/commit/build-aux/check-available-binaries.scm?id=c71493c8b9328ff3dbddf3b9430200ef4d174917'>build: Check the availability of i686-linux binaries.</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2013-07-15 23:51:28 +0200'>2013-07-15</span></td><td><a href='/guix/commit/build-aux/check-available-binaries.scm?id=56fbf2629f10b134e5f6e916e4fc33b0c0658da8'>build: Check for the availability of binaries upon "distcheck".</a><span class='msg-avail'>...</span></td><td>Ludovic Courtès</td></tr>