827 lines
		
	
	
	
		
			35 KiB
		
	
	
	
		
			Scheme
		
	
	
	
	
	
			
		
		
	
	
			827 lines
		
	
	
	
		
			35 KiB
		
	
	
	
		
			Scheme
		
	
	
	
	
	
;;; GNU Guix --- Functional package management for GNU
 | 
						||
;;; Copyright © 2012-2021, 2023 Ludovic Courtès <ludo@gnu.org>
 | 
						||
;;; Copyright © 2017, 2021 Efraim Flashner <efraim@flashner.co.il>
 | 
						||
;;; Copyright © 2018 Tobias Geerinckx-Rice <me@tobias.gr>
 | 
						||
;;; Copyright © 2018, 2019 Mark H Weaver <mhw@netris.org>
 | 
						||
;;; Copyright © 2018, 2019, 2021, 2022 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
 | 
						||
;;; Copyright © 2019, 2020, 2022 Marius Bakke <marius@gnu.org>
 | 
						||
;;; Copyright © 2020 Mathieu Othacehe <m.othacehe@gmail.com>
 | 
						||
;;; Copyright © 2021 Pierre Langlois <pierre.langlois@gmx.com>
 | 
						||
;;;
 | 
						||
;;; 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/>.
 | 
						||
 | 
						||
(define-module (gnu packages make-bootstrap)
 | 
						||
  #:use-module (guix gexp)
 | 
						||
  #:use-module (guix utils)
 | 
						||
  #:use-module (guix packages)
 | 
						||
  #:use-module (guix memoization)
 | 
						||
  #:use-module ((guix licenses) #:select (gpl3+))
 | 
						||
  #:use-module (guix build-system trivial)
 | 
						||
  #:use-module (guix build-system gnu)
 | 
						||
  #:use-module ((gnu packages) #:select (search-patch search-patches))
 | 
						||
  #:use-module (gnu packages base)
 | 
						||
  #:use-module (gnu packages cross-base)
 | 
						||
  #:use-module (gnu packages bash)
 | 
						||
  #:use-module (gnu packages compression)
 | 
						||
  #:use-module (gnu packages gawk)
 | 
						||
  #:use-module (gnu packages gcc)
 | 
						||
  #:use-module (gnu packages guile)
 | 
						||
  #:use-module (gnu packages bdw-gc)
 | 
						||
  #:use-module (gnu packages libunistring)
 | 
						||
  #:use-module (gnu packages linux)
 | 
						||
  #:use-module (gnu packages hurd)
 | 
						||
  #:use-module (gnu packages mes)
 | 
						||
  #:use-module (gnu packages multiprecision)
 | 
						||
  #:use-module (ice-9 match)
 | 
						||
  #:use-module (srfi srfi-1)
 | 
						||
  #:export (%bootstrap-binaries-tarball
 | 
						||
            %linux-libre-headers-bootstrap-tarball
 | 
						||
            %binutils-bootstrap-tarball
 | 
						||
            %glibc-bootstrap-tarball
 | 
						||
            %gcc-bootstrap-tarball
 | 
						||
            %guile-bootstrap-tarball
 | 
						||
            %bootstrap-tarballs
 | 
						||
 | 
						||
            %guile-static-stripped))
 | 
						||
 | 
						||
;;; Commentary:
 | 
						||
;;;
 | 
						||
;;; This module provides tools to build tarballs of the "bootstrap binaries"
 | 
						||
;;; used in (gnu packages bootstrap).  These statically-linked binaries are
 | 
						||
;;; taken for granted and used as the root of the whole bootstrap procedure.
 | 
						||
;;;
 | 
						||
;;; Code:
 | 
						||
 | 
						||
(define glibc-for-bootstrap
 | 
						||
  (mlambdaq (base)
 | 
						||
    "Return a libc deriving from BASE whose `system' and `popen' functions looks
 | 
						||
for `sh' in $PATH, and without nscd, and with static NSS modules."
 | 
						||
    (package
 | 
						||
      (inherit base)
 | 
						||
      (source (origin (inherit (package-source base))
 | 
						||
                      (patches (append (search-patches
 | 
						||
                                        "glibc-bootstrap-system.patch")
 | 
						||
                                   (origin-patches (package-source base))))))
 | 
						||
      (arguments
 | 
						||
       (substitute-keyword-arguments (package-arguments base)
 | 
						||
         ((#:configure-flags flags)
 | 
						||
          ;; Arrange so that getaddrinfo & co. do not contact the nscd,
 | 
						||
          ;; and can use statically-linked NSS modules.
 | 
						||
          `(cons* "--disable-nscd" "--disable-build-nscd"
 | 
						||
                  "--enable-static-nss"
 | 
						||
                  ,flags))))
 | 
						||
 | 
						||
      ;; Make sure to build glibc with the same compiler version as the rest
 | 
						||
      ;; of the bootstrap.  Otherwise it fails to statically link on aarch64.
 | 
						||
      (native-inputs
 | 
						||
       `(("gcc" ,gcc-7)
 | 
						||
         ,@(package-native-inputs base)))
 | 
						||
 | 
						||
      ;; Remove the 'debug' output to allow bit-reproducible builds (when the
 | 
						||
      ;; 'debug' output is used, ELF files end up with a .gnu_debuglink, which
 | 
						||
      ;; includes a CRC of the corresponding debugging symbols; those symbols
 | 
						||
      ;; contain store file names, so the CRC changes at every rebuild.)
 | 
						||
      (outputs (delete "debug" (package-outputs base))))))
 | 
						||
 | 
						||
(define gcc-for-bootstrap
 | 
						||
  (mlambdaq (glibc)
 | 
						||
    "Return a variant of GCC that uses the bootstrap variant of GLIBC."
 | 
						||
    (package
 | 
						||
      (inherit gcc-7)
 | 
						||
      (outputs '("out")) ;all in one so libgcc_s is easily found
 | 
						||
      (inputs
 | 
						||
       `( ;; Distinguish the name so we can refer to it below.
 | 
						||
         ("bootstrap-libc" ,(glibc-for-bootstrap glibc))
 | 
						||
         ("libc:static" ,(glibc-for-bootstrap glibc) "static")
 | 
						||
         ,@(package-inputs gcc-7))))))
 | 
						||
 | 
						||
(define (package-with-relocatable-glibc p)
 | 
						||
  "Return a variant of P that uses the libc as defined by
 | 
						||
`glibc-for-bootstrap'."
 | 
						||
 | 
						||
  (define (cross-bootstrap-libc target)
 | 
						||
    (glibc-for-bootstrap
 | 
						||
     ;; `cross-libc' already returns a cross libc, so clear
 | 
						||
     ;; %CURRENT-TARGET-SYSTEM.
 | 
						||
     (parameterize ((%current-target-system #f))
 | 
						||
       (cross-libc target))))
 | 
						||
 | 
						||
  ;; Standard inputs with the above libc and corresponding GCC.
 | 
						||
 | 
						||
  (define (inputs)
 | 
						||
    (if (%current-target-system)                ; is this package cross built?
 | 
						||
        `(("cross-libc"
 | 
						||
           ,(cross-bootstrap-libc (%current-target-system)))
 | 
						||
          ("cross-libc:static"
 | 
						||
           ,(cross-bootstrap-libc (%current-target-system))
 | 
						||
           "static"))
 | 
						||
        '()))
 | 
						||
 | 
						||
  (define (native-inputs)
 | 
						||
    (if (%current-target-system)
 | 
						||
        (let* ((target (%current-target-system))
 | 
						||
               (xgcc (cross-gcc
 | 
						||
                      target
 | 
						||
                      #:xbinutils (cross-binutils target)
 | 
						||
                      #:libc (cross-bootstrap-libc target))))
 | 
						||
          `(("cross-gcc" ,(package
 | 
						||
                            (inherit xgcc)
 | 
						||
                            (search-paths
 | 
						||
                             ;; Ensure the cross libc headers appears on the
 | 
						||
                             ;; C++ system header search path.
 | 
						||
                             (cons (search-path-specification
 | 
						||
                                    (variable "CROSS_CPLUS_INCLUDE_PATH")
 | 
						||
                                    (files '("include")))
 | 
						||
                                   (package-search-paths gcc-7)))))
 | 
						||
            ("cross-binutils" ,(cross-binutils target))
 | 
						||
            ,@(%final-inputs)))
 | 
						||
        `(("libc" ,(glibc-for-bootstrap glibc))
 | 
						||
          ("libc:static" ,(glibc-for-bootstrap glibc) "static")
 | 
						||
          ("gcc" ,(gcc-for-bootstrap glibc))
 | 
						||
          ,@(fold alist-delete (%final-inputs) '("libc" "gcc")))))
 | 
						||
 | 
						||
  (package-with-explicit-inputs p inputs
 | 
						||
                                (current-source-location)
 | 
						||
                                #:native-inputs native-inputs))
 | 
						||
 | 
						||
(define %static-inputs
 | 
						||
  ;; Packages that are to be used as %BOOTSTRAP-INPUTS.
 | 
						||
  (let ((coreutils (package
 | 
						||
                     (inherit coreutils)
 | 
						||
                     (arguments
 | 
						||
                      (substitute-keyword-arguments
 | 
						||
                          (package-arguments coreutils)
 | 
						||
                        ((#:configure-flags _ #~'())
 | 
						||
                         #~'("--disable-nls"
 | 
						||
                             "--disable-silent-rules"
 | 
						||
                             "--enable-no-install-program=stdbuf,libstdbuf.so"
 | 
						||
                             "CFLAGS=-Os -g0"   ; smaller, please
 | 
						||
                             "LDFLAGS=-static -pthread"
 | 
						||
 | 
						||
                             ;; Work around a cross-compilation bug whereby libcoreutils.a
 | 
						||
                             ;; would provide '__mktime_internal', which conflicts with the
 | 
						||
                             ;; one in libc.a.
 | 
						||
                             #$@(if (%current-target-system)
 | 
						||
                                    #~("gl_cv_func_working_mktime=yes")
 | 
						||
                                    #~())))
 | 
						||
                        ((#:tests? _ #t)
 | 
						||
                         #f)))               ;signal-related Gnulib tests fail
 | 
						||
 | 
						||
                      ;; Remove optional dependencies such as GMP.
 | 
						||
                      (inputs '())
 | 
						||
 | 
						||
                      ;; Remove the 'debug' output (see above for the reason.)
 | 
						||
                      (outputs '("out"))))
 | 
						||
        (bzip2 (package
 | 
						||
                 (inherit bzip2)
 | 
						||
                 (arguments
 | 
						||
                  (substitute-keyword-arguments (package-arguments bzip2)
 | 
						||
                    ((#:phases phases)
 | 
						||
                     #~(modify-phases #$phases
 | 
						||
                         (add-before 'build 'dash-static
 | 
						||
                           (lambda _
 | 
						||
                             (substitute* "Makefile"
 | 
						||
                               (("^LDFLAGS[[:blank:]]*=.*$")
 | 
						||
                                "LDFLAGS = -static"))))))))))
 | 
						||
        (xz (package
 | 
						||
              (inherit xz)
 | 
						||
              (outputs '("out"))
 | 
						||
              (arguments
 | 
						||
               (list #:strip-flags #~'("--strip-all")
 | 
						||
                     #:phases #~(modify-phases %standard-phases
 | 
						||
                                  (add-before 'configure 'static-executable
 | 
						||
                                    (lambda _
 | 
						||
                                      ;; Ask Libtool for a static executable.
 | 
						||
                                      (substitute* "src/xz/Makefile.in"
 | 
						||
                                        (("^xz_LDADD =")
 | 
						||
                                         "xz_LDADD = -all-static")))))))))
 | 
						||
        (gawk (package
 | 
						||
                (inherit gawk)
 | 
						||
                (source (origin
 | 
						||
                          (inherit (package-source gawk))
 | 
						||
                          (modules '((guix build utils)))
 | 
						||
                          (snippet
 | 
						||
                           ;; Do not build 'getopt.c' since that leads to a
 | 
						||
                           ;; link failure due to duplicate symbols with
 | 
						||
                           ;; 'libc.a'.
 | 
						||
                           '(substitute* "support/Makefile.in"
 | 
						||
                              (("getopt\\.\\$\\(OBJEXT\\)") "")))
 | 
						||
                          (patches (cons (search-patch "gawk-shell.patch")
 | 
						||
                                         (origin-patches
 | 
						||
                                          (package-source gawk))))))
 | 
						||
                (arguments
 | 
						||
                 (substitute-keyword-arguments (package-arguments gawk)
 | 
						||
                   ((#:configure-flags _ #~'())
 | 
						||
                    ;; Starting from gawk 4.1.0, some of the tests for the
 | 
						||
                    ;; plug-in mechanism just fail on static builds:
 | 
						||
                    ;;
 | 
						||
                    ;; ./fts.awk:1: error: can't open shared library `filefuncs' for reading (No such file or directory)
 | 
						||
                    ;;
 | 
						||
                    ;; Therefore disable extensions support.
 | 
						||
                    #~(list "--disable-extensions"))
 | 
						||
                   ((#:phases phases)
 | 
						||
                    #~(modify-phases #$phases
 | 
						||
                        (add-before 'configure 'no-export-dynamic
 | 
						||
                          (lambda _
 | 
						||
                            ;; Since we use `-static', remove
 | 
						||
                            ;; `-export-dynamic'.
 | 
						||
                            (substitute* "configure"
 | 
						||
                              (("-Wl,-export-dynamic") ""))))))))
 | 
						||
                (inputs (if (%current-target-system)
 | 
						||
                            (list static-bash)
 | 
						||
                            '()))))
 | 
						||
	(tar (package
 | 
						||
               (inherit tar)
 | 
						||
	       (arguments
 | 
						||
                (substitute-keyword-arguments (package-arguments tar)
 | 
						||
                  ((#:configure-flags flags #~'())
 | 
						||
                   ;; Work around a cross-compilation bug whereby libgnu.a
 | 
						||
                   ;; would provide '__mktime_internal', which conflicts
 | 
						||
                   ;; with the one in libc.a.
 | 
						||
                   #~'("gl_cv_func_working_mktime=yes"))
 | 
						||
                  ((#:phases phases)
 | 
						||
                   #~(modify-phases #$phases
 | 
						||
                       (replace 'set-shell-file-name
 | 
						||
                         (lambda _
 | 
						||
                           ;; Do not use "/bin/sh" to run programs; see
 | 
						||
                           ;; <http://lists.gnu.org/archive/html/guix-devel/2016-09/msg02272.html>.
 | 
						||
                           (substitute* "src/system.c"
 | 
						||
                             (("/bin/sh") "sh")
 | 
						||
                             (("execv ") "execvp "))))))))))
 | 
						||
        ;; We don't want to retain a reference to /gnu/store in the bootstrap
 | 
						||
        ;; versions of egrep/fgrep, so we remove the custom phase added since
 | 
						||
        ;; grep@2.25. The effect is 'egrep' and 'fgrep' look for 'grep' in
 | 
						||
        ;; $PATH.
 | 
						||
        (grep (package
 | 
						||
                (inherit grep)
 | 
						||
                (inputs '())                   ;remove PCRE, which is optional
 | 
						||
                (arguments
 | 
						||
                 (substitute-keyword-arguments (package-arguments grep)
 | 
						||
                   ((#:phases phases)
 | 
						||
                    `(modify-phases ,phases
 | 
						||
                       (delete 'fix-egrep-and-fgrep)))))))
 | 
						||
        (finalize (compose static-package
 | 
						||
                           package-with-relocatable-glibc)))
 | 
						||
    (append (map finalize
 | 
						||
                 (list tar gzip bzip2 xz patch coreutils sed grep gawk))
 | 
						||
        (list static-bash))))
 | 
						||
 | 
						||
(define %static-binaries
 | 
						||
  (package
 | 
						||
    (name "static-binaries")
 | 
						||
    (version "0")
 | 
						||
    (build-system trivial-build-system)
 | 
						||
    (source #f)
 | 
						||
    (inputs %static-inputs)
 | 
						||
    (arguments
 | 
						||
     `(#:modules ((guix build utils))
 | 
						||
       #:builder
 | 
						||
       (begin
 | 
						||
         (use-modules (ice-9 ftw)
 | 
						||
                      (ice-9 match)
 | 
						||
                      (srfi srfi-1)
 | 
						||
                      (srfi srfi-26)
 | 
						||
                      (guix build utils))
 | 
						||
 | 
						||
         (let ()
 | 
						||
          (define (directory-contents dir)
 | 
						||
            (map (cut string-append dir "/" <>)
 | 
						||
                 (scandir dir (negate (cut member <> '("." ".."))))))
 | 
						||
 | 
						||
          (define (copy-directory source destination)
 | 
						||
            (for-each (lambda (file)
 | 
						||
                        (format #t "copying ~s...~%" file)
 | 
						||
                        (copy-file file
 | 
						||
                                   (string-append destination "/"
 | 
						||
                                                  (basename file))))
 | 
						||
                      (directory-contents source)))
 | 
						||
 | 
						||
          (let* ((out (assoc-ref %outputs "out"))
 | 
						||
                 (bin (string-append out "/bin")))
 | 
						||
            (mkdir-p bin)
 | 
						||
 | 
						||
            ;; Copy Coreutils binaries.
 | 
						||
            (let* ((coreutils (assoc-ref %build-inputs "coreutils"))
 | 
						||
                   (source    (string-append coreutils "/bin")))
 | 
						||
              (copy-directory source bin))
 | 
						||
 | 
						||
            ;; For the other inputs, copy just one binary, which has the
 | 
						||
            ;; same name as the input.
 | 
						||
            (for-each (match-lambda
 | 
						||
                       ((name . dir)
 | 
						||
                        (let* ((name   (if (string-prefix? "bash" name)
 | 
						||
                                           "bash"
 | 
						||
                                           name))
 | 
						||
                               (source (string-append dir "/bin/" name)))
 | 
						||
                          (format #t "copying ~s...~%" source)
 | 
						||
                          (copy-file source
 | 
						||
                                     (string-append bin "/" name)))))
 | 
						||
                      (alist-delete "coreutils" %build-inputs))
 | 
						||
 | 
						||
            ;; But of course, there are exceptions to this rule.
 | 
						||
            (let ((grep (assoc-ref %build-inputs "grep")))
 | 
						||
              (install-file (string-append grep "/bin/fgrep") bin)
 | 
						||
              (install-file (string-append grep "/bin/egrep") bin))
 | 
						||
 | 
						||
            ;; Clear references to the store path.
 | 
						||
            (for-each remove-store-references
 | 
						||
                      (directory-contents bin))
 | 
						||
 | 
						||
            (with-directory-excursion bin
 | 
						||
              ;; Programs such as Perl's build system want these aliases.
 | 
						||
              (symlink "bash" "sh")
 | 
						||
              (symlink "gawk" "awk"))
 | 
						||
 | 
						||
            #t)))))
 | 
						||
    (synopsis "Statically-linked bootstrap binaries")
 | 
						||
    (description
 | 
						||
     "Binaries used to bootstrap the distribution.")
 | 
						||
    (license gpl3+)
 | 
						||
    (home-page #f)))
 | 
						||
 | 
						||
(define %linux-libre-headers-stripped
 | 
						||
  ;; The subset of Linux-Libre-Headers that we need.
 | 
						||
  (package (inherit linux-libre-headers)
 | 
						||
    (name (string-append (package-name linux-libre-headers) "-stripped"))
 | 
						||
    (build-system trivial-build-system)
 | 
						||
    (outputs '("out"))
 | 
						||
    (arguments
 | 
						||
     `(#:modules ((guix build utils)
 | 
						||
                  (guix build make-bootstrap))
 | 
						||
       #:builder
 | 
						||
       (begin
 | 
						||
         (use-modules (guix build utils)
 | 
						||
                      (guix build make-bootstrap))
 | 
						||
 | 
						||
         (let* ((in  (assoc-ref %build-inputs "linux-libre-headers"))
 | 
						||
                (out (assoc-ref %outputs "out")))
 | 
						||
           (copy-linux-headers out in)
 | 
						||
           #t))))
 | 
						||
    (inputs (list linux-libre-headers))))
 | 
						||
 | 
						||
(define %binutils-static
 | 
						||
  ;; Statically-linked Binutils.
 | 
						||
  (package (inherit binutils)
 | 
						||
    (name "binutils-static")
 | 
						||
    (arguments
 | 
						||
     `(#:configure-flags (cons "--disable-gold"
 | 
						||
                               ,(match (memq #:configure-flags
 | 
						||
                                             (package-arguments binutils))
 | 
						||
                                  ((#:configure-flags flags _ ...)
 | 
						||
                                   flags)))
 | 
						||
       #:make-flags ,(match (memq #:make-flags (package-arguments binutils))
 | 
						||
                       ((#:make-flags flags _ ...)
 | 
						||
                        flags)
 | 
						||
                       (_ ''()))
 | 
						||
       #:strip-flags '("--strip-all")
 | 
						||
       #:phases (modify-phases %standard-phases
 | 
						||
                  (add-before 'configure 'all-static
 | 
						||
                    (lambda _
 | 
						||
                      ;; The `-all-static' libtool flag can only be passed
 | 
						||
                      ;; after `configure', since configure tests don't use
 | 
						||
                      ;; libtool, and only for executables built with libtool.
 | 
						||
                      (substitute* '("binutils/Makefile.in"
 | 
						||
                                     "gas/Makefile.in"
 | 
						||
                                     "ld/Makefile.in")
 | 
						||
                        (("^LDFLAGS =(.*)$" line)
 | 
						||
                         (string-append line
 | 
						||
                                        "\nAM_LDFLAGS = -static -all-static\n")))
 | 
						||
                      #t)))))))
 | 
						||
 | 
						||
(define %binutils-static-stripped
 | 
						||
  ;; The subset of Binutils that we need.
 | 
						||
  (package
 | 
						||
    (inherit %binutils-static)
 | 
						||
    (name (string-append (package-name %binutils-static) "-stripped"))
 | 
						||
    (build-system trivial-build-system)
 | 
						||
    (outputs '("out"))
 | 
						||
    (arguments
 | 
						||
     (list #:modules '((guix build utils))
 | 
						||
           #:builder
 | 
						||
           #~(begin
 | 
						||
               (use-modules (guix build utils))
 | 
						||
 | 
						||
               (setvbuf (current-output-port)
 | 
						||
                        (cond-expand (guile-2.0 _IOLBF) (else 'line)))
 | 
						||
               (let* ((in  #$%binutils-static)
 | 
						||
                      (out #$output)
 | 
						||
                      (bin (string-append out "/bin")))
 | 
						||
                 (mkdir-p bin)
 | 
						||
                 (for-each (lambda (file)
 | 
						||
                             (let ((target (string-append bin "/" file)))
 | 
						||
                               (format #t "copying `~a'...~%" file)
 | 
						||
                               (copy-file (string-append in "/bin/" file)
 | 
						||
                                          target)
 | 
						||
                               (remove-store-references target)))
 | 
						||
                           '("ar" "as" "ld" "nm"  "objcopy" "objdump"
 | 
						||
                             "ranlib" "readelf" "size" "strings" "strip"))))))))
 | 
						||
 | 
						||
(define (%glibc-stripped)
 | 
						||
  ;; GNU libc's essential shared libraries, dynamic linker, and headers,
 | 
						||
  ;; with all references to store directories stripped.  As a result,
 | 
						||
  ;; libc.so is unusable and need to be patched for proper relocation.
 | 
						||
  (let ((glibc (glibc-for-bootstrap glibc)))
 | 
						||
    (package (inherit glibc)
 | 
						||
      (name "glibc-stripped")
 | 
						||
      (build-system trivial-build-system)
 | 
						||
      (arguments
 | 
						||
       `(#:modules ((guix build utils)
 | 
						||
                    (guix build make-bootstrap))
 | 
						||
         #:builder
 | 
						||
         (begin
 | 
						||
           (use-modules (guix build make-bootstrap))
 | 
						||
           (make-stripped-libc (assoc-ref %outputs "out")
 | 
						||
                               (assoc-ref %build-inputs "libc")
 | 
						||
                               (assoc-ref %build-inputs "kernel-headers")))))
 | 
						||
      (inputs `(("kernel-headers"
 | 
						||
                 ,(if (or (and (%current-target-system)
 | 
						||
                               (target-hurd? (%current-target-system)))
 | 
						||
                          (string-suffix? "-hurd" (%current-system)))
 | 
						||
                      gnumach-headers
 | 
						||
                      linux-libre-headers))
 | 
						||
                ("libc" ,(let ((target (%current-target-system)))
 | 
						||
                           (if target
 | 
						||
                               (glibc-for-bootstrap
 | 
						||
                                (parameterize ((%current-target-system #f))
 | 
						||
                                  (cross-libc target)))
 | 
						||
                               glibc)))))
 | 
						||
      (native-inputs '())
 | 
						||
      (propagated-inputs '())
 | 
						||
 | 
						||
      ;; Only one output.
 | 
						||
      (outputs '("out")))))
 | 
						||
 | 
						||
(define %gcc-static
 | 
						||
  ;; A statically-linked GCC, with stripped-down functionality.
 | 
						||
  (package-with-relocatable-glibc
 | 
						||
   (package (inherit gcc-7)
 | 
						||
     (name "gcc-static")
 | 
						||
     (outputs '("out"))                           ; all in one
 | 
						||
     (arguments
 | 
						||
      (substitute-keyword-arguments (package-arguments gcc-7)
 | 
						||
        ((#:modules modules %gnu-build-system-modules)
 | 
						||
         `((srfi srfi-1)
 | 
						||
           (srfi srfi-26)
 | 
						||
           (ice-9 regex)
 | 
						||
           ,@modules))
 | 
						||
        ((#:guile _) #f)
 | 
						||
        ((#:implicit-inputs? _) #t)
 | 
						||
        ((#:configure-flags flags)
 | 
						||
         `(append (list
 | 
						||
                   ;; We don't need a full bootstrap here.
 | 
						||
                   "--disable-bootstrap"
 | 
						||
 | 
						||
                   ;; Make sure '-static' is passed where it matters.
 | 
						||
                   "--with-stage1-ldflags=-static"
 | 
						||
 | 
						||
                   ;; GCC 4.8+ requires a C++ compiler and library.
 | 
						||
                   "--enable-languages=c,c++"
 | 
						||
 | 
						||
                   ;; Make sure gcc-nm doesn't require liblto_plugin.so.
 | 
						||
                   "--disable-lto"
 | 
						||
 | 
						||
                   "--disable-shared"
 | 
						||
                   "--disable-plugin"
 | 
						||
                   "--disable-libmudflap"
 | 
						||
                   "--disable-libatomic"
 | 
						||
                   "--disable-libsanitizer"
 | 
						||
                   "--disable-libitm"
 | 
						||
                   "--disable-libgomp"
 | 
						||
                   "--disable-libcilkrts"
 | 
						||
                   "--disable-libvtv"
 | 
						||
                   "--disable-libssp"
 | 
						||
                   "--disable-libquadmath")
 | 
						||
                  (remove (cut string-match "--(.*plugin|enable-languages)" <>)
 | 
						||
                          ,flags)))
 | 
						||
        ((#:phases phases)
 | 
						||
         `(modify-phases ,phases
 | 
						||
            (add-after 'pre-configure 'remove-lgcc_s
 | 
						||
              (lambda _
 | 
						||
                ;; Remove the '-lgcc_s' added to GNU_USER_TARGET_LIB_SPEC in
 | 
						||
                ;; the 'pre-configure phase of our main gcc package, because
 | 
						||
                ;; that shared library is not present in this static gcc.  See
 | 
						||
                ;; <https://lists.gnu.org/archive/html/guix-devel/2015-01/msg00008.html>.
 | 
						||
                (substitute* (cons "gcc/config/rs6000/sysv4.h"
 | 
						||
                                   (find-files "gcc/config"
 | 
						||
                                               "^gnu-user.*\\.h$"))
 | 
						||
                  ((" -lgcc_s}}") "}}"))
 | 
						||
                #t))))))
 | 
						||
     (inputs
 | 
						||
      `(("zlib:static" ,zlib "static")
 | 
						||
        ("isl:static" ,isl "static")
 | 
						||
        ,@(package-inputs gcc-7)))
 | 
						||
     (native-inputs
 | 
						||
      (if (%current-target-system)
 | 
						||
          `(;; When doing a Canadian cross, we need GMP/MPFR/MPC both
 | 
						||
            ;; as target inputs and as native inputs; the latter is
 | 
						||
            ;; needed when building build-time tools ('genconstants',
 | 
						||
            ;; etc.)  Failing to do that leads to misdetections of
 | 
						||
            ;; declarations by 'gcc/configure', and eventually to
 | 
						||
            ;; duplicate declarations as reported in
 | 
						||
            ;; <https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59217>.
 | 
						||
            ("gmp-native" ,gmp)
 | 
						||
            ("mpfr-native" ,mpfr)
 | 
						||
            ("mpc-native" ,mpc)
 | 
						||
            ,@(package-native-inputs gcc-7))
 | 
						||
          (package-native-inputs gcc-7))))))
 | 
						||
 | 
						||
(define %gcc-stripped
 | 
						||
  ;; The subset of GCC files needed for bootstrap.
 | 
						||
  (package
 | 
						||
    (inherit gcc-7)
 | 
						||
    (name "gcc-stripped")
 | 
						||
    (build-system trivial-build-system)
 | 
						||
    (source #f)
 | 
						||
    (outputs '("out"))                            ;only one output
 | 
						||
    (arguments
 | 
						||
     (list #:modules '((guix build utils))
 | 
						||
           #:builder
 | 
						||
           #~(begin
 | 
						||
               (use-modules (srfi srfi-1)
 | 
						||
                            (srfi srfi-26)
 | 
						||
                            (guix build utils))
 | 
						||
 | 
						||
               (setvbuf (current-output-port)
 | 
						||
                        (cond-expand (guile-2.0 _IOLBF) (else 'line)))
 | 
						||
               (let* ((out        #$output)
 | 
						||
                      (bindir     (string-append out "/bin"))
 | 
						||
                      (libdir     (string-append out "/lib"))
 | 
						||
                      (includedir (string-append out "/include"))
 | 
						||
                      (libexecdir (string-append out "/libexec"))
 | 
						||
                      (gcc        #$%gcc-static))
 | 
						||
                 (copy-recursively (string-append gcc "/bin") bindir)
 | 
						||
                 (for-each remove-store-references
 | 
						||
                           (find-files bindir ".*"))
 | 
						||
 | 
						||
                 (copy-recursively (string-append gcc "/lib") libdir)
 | 
						||
                 (for-each remove-store-references
 | 
						||
                           (remove (cut string-suffix? ".h" <>)
 | 
						||
                                   (find-files libdir ".*")))
 | 
						||
 | 
						||
                 (copy-recursively (string-append gcc "/libexec")
 | 
						||
                                   libexecdir)
 | 
						||
                 (for-each remove-store-references
 | 
						||
                           (find-files libexecdir ".*"))
 | 
						||
 | 
						||
                 ;; Starting from GCC 4.8, helper programs built natively
 | 
						||
                 ;; (‘genchecksum’, ‘gcc-nm’, etc.) rely on C++ headers.
 | 
						||
                 (copy-recursively (string-append gcc "/include/c++")
 | 
						||
                                   (string-append includedir "/c++"))
 | 
						||
 | 
						||
                 ;; For native builds, check whether the binaries actually work.
 | 
						||
                 #$@(if (%current-target-system)
 | 
						||
                        '()
 | 
						||
                        '((for-each (lambda (prog)
 | 
						||
                                      (invoke (string-append gcc "/bin/" prog)
 | 
						||
                                              "--version"))
 | 
						||
                                    '("gcc" "g++" "cpp"))))))))))
 | 
						||
 | 
						||
(define* (make-guile-static guile patches)
 | 
						||
  (package-with-relocatable-glibc
 | 
						||
   (static-package
 | 
						||
    (package
 | 
						||
      (inherit guile)
 | 
						||
      (source
 | 
						||
       (origin (inherit (package-source guile))
 | 
						||
               (patches (append (map search-patch patches)
 | 
						||
                                (origin-patches (package-source guile))))))
 | 
						||
      (name (string-append (package-name guile) "-static"))
 | 
						||
      (synopsis "Statically-linked and relocatable Guile")
 | 
						||
 | 
						||
      ;; Remove the 'debug' output (see above for the reason.)
 | 
						||
      (outputs (delete "debug" (package-outputs guile)))
 | 
						||
 | 
						||
      (inputs
 | 
						||
       (modify-inputs (package-inputs guile)
 | 
						||
         (prepend `(,libunistring "static"))))
 | 
						||
 | 
						||
      (propagated-inputs
 | 
						||
       (modify-inputs (package-propagated-inputs guile)
 | 
						||
         (replace "libgc" libgc/static-libs)))
 | 
						||
      (arguments
 | 
						||
       (substitute-keyword-arguments (package-arguments guile)
 | 
						||
         ((#:configure-flags flags #~'())
 | 
						||
          ;; When `configure' checks for ltdl availability, it
 | 
						||
          ;; doesn't try to link using libtool, and thus fails
 | 
						||
          ;; because of a missing -ldl.  Work around that.
 | 
						||
          #~(list "LDFLAGS=-ldl" "--enable-mini-gmp"
 | 
						||
 | 
						||
                  ;; Guile does an LTO build by default, but in 3.0.9 it
 | 
						||
                  ;; wrongfully picks 'ar' instead of 'gcc-ar', so work around
 | 
						||
                  ;; it (see <https://issues.guix.gnu.org/61086>).
 | 
						||
                  #$@(if (version-prefix? "3.0" (package-version guile))
 | 
						||
                         #~("AR=gcc-ar" "RANLIB=gcc-ranlib")
 | 
						||
                         #~())
 | 
						||
 | 
						||
                  #$@(if (hurd-target?)
 | 
						||
                         #~("--disable-jit")
 | 
						||
                         #~())))
 | 
						||
         ((#:phases phases '%standard-phases)
 | 
						||
          #~(modify-phases #$phases
 | 
						||
 | 
						||
              ;; Do not record the absolute file name of 'sh' in
 | 
						||
              ;; (ice-9 popen).  This makes 'open-pipe' unusable in
 | 
						||
              ;; a build chroot ('open-pipe*' is fine) but avoids
 | 
						||
              ;; keeping a reference to Bash.
 | 
						||
              (delete 'pre-configure)
 | 
						||
 | 
						||
              (add-before 'configure 'static-guile
 | 
						||
                (lambda _
 | 
						||
                  (substitute* "libguile/Makefile.in"
 | 
						||
                    ;; Create a statically-linked `guile'
 | 
						||
                    ;; executable.
 | 
						||
                    (("^guile_LDFLAGS =")
 | 
						||
                     "guile_LDFLAGS = -all-static")
 | 
						||
 | 
						||
                    ;; Add `-ldl' *after* libguile-2.0.la.
 | 
						||
                    (("^guile_LDADD =(.*)$" _ ldadd)
 | 
						||
                     (string-append "guile_LDADD = "
 | 
						||
                                    (string-trim-right ldadd)
 | 
						||
                                    " -ldl\n")))))))
 | 
						||
         ((#:tests? _ #f)
 | 
						||
          ;; There are uses of `dynamic-link' in
 | 
						||
          ;; {foreign,coverage}.test that don't fly here.
 | 
						||
          #f)
 | 
						||
         ((#:parallel-build? _ #f)
 | 
						||
          ;; Work around the fact that the Guile build system is
 | 
						||
          ;; not deterministic when parallel-build is enabled.
 | 
						||
          #f)))))))
 | 
						||
 | 
						||
(define %guile-static
 | 
						||
  ;; A statically-linked Guile that is relocatable--i.e., it can search
 | 
						||
  ;; .scm and .go files relative to its installation directory, rather
 | 
						||
  ;; than in hard-coded configure-time paths.
 | 
						||
  (make-guile-static guile-2.0 '("guile-relocatable.patch"
 | 
						||
                                 "guile-default-utf8.patch"
 | 
						||
                                 "guile-linux-syscalls.patch")))
 | 
						||
 | 
						||
(define %guile-static-3.0
 | 
						||
  (make-guile-static guile-3.0-latest
 | 
						||
                     '("guile-2.2-default-utf8.patch"
 | 
						||
                       "guile-3.0-linux-syscalls.patch"
 | 
						||
                       "guile-3.0-relocatable.patch")))
 | 
						||
 | 
						||
(define* (make-guile-static-stripped static-guile)
 | 
						||
  (package
 | 
						||
    (inherit static-guile)
 | 
						||
    (name (string-append (package-name static-guile) "-stripped"))
 | 
						||
    (build-system trivial-build-system)
 | 
						||
    (arguments
 | 
						||
     ;; The end result should depend on nothing but itself.
 | 
						||
     (list #:allowed-references '("out")
 | 
						||
           #:modules '((guix build utils))
 | 
						||
           #:builder
 | 
						||
           #~(let ((version #$(version-major+minor (package-version static-guile))))
 | 
						||
               (use-modules (guix build utils))
 | 
						||
 | 
						||
               (let* ((in     #$static-guile)
 | 
						||
                      (out    #$output)
 | 
						||
                      (guile1 (string-append in "/bin/guile"))
 | 
						||
                      (guile2 (string-append out "/bin/guile")))
 | 
						||
                 (mkdir-p (string-append out "/share/guile/" version))
 | 
						||
                 (copy-recursively (string-append in "/share/guile/" version)
 | 
						||
                                   (string-append out "/share/guile/" version))
 | 
						||
 | 
						||
                 (mkdir-p (string-append out "/lib/guile/" version "/ccache"))
 | 
						||
                 (copy-recursively (string-append in "/lib/guile/" version "/ccache")
 | 
						||
                                   (string-append out "/lib/guile/" version "/ccache"))
 | 
						||
 | 
						||
                 (mkdir (string-append out "/bin"))
 | 
						||
                 (copy-file guile1 guile2)
 | 
						||
 | 
						||
                 ;; Verify that the relocated Guile works.
 | 
						||
                 #$@(if (%current-target-system)
 | 
						||
                        '()
 | 
						||
                        '((invoke guile2 "--version")))
 | 
						||
 | 
						||
                 ;; Strip store references.
 | 
						||
                 (remove-store-references guile2)
 | 
						||
 | 
						||
                 ;; Verify that the stripped Guile works.  If it aborts, it could be
 | 
						||
                 ;; that it tries to open iconv descriptors and fails because libc's
 | 
						||
                 ;; iconv data isn't available (see `guile-default-utf8.patch'.)
 | 
						||
                 #$@(if (%current-target-system)
 | 
						||
                        '()
 | 
						||
                        '((invoke guile2 "--version")))))))
 | 
						||
    (outputs '("out"))
 | 
						||
    (synopsis "Minimal statically-linked and relocatable Guile")))
 | 
						||
 | 
						||
(define %guile-static-stripped
 | 
						||
  ;; A stripped static Guile 3.0 binary, for use in initrds
 | 
						||
  ;; and during bootstrap.
 | 
						||
  (make-guile-static-stripped %guile-static-3.0))
 | 
						||
 | 
						||
(define (tarball-package pkg)
 | 
						||
  "Return a package containing a tarball of PKG."
 | 
						||
  (package
 | 
						||
    (inherit pkg)
 | 
						||
    (name (string-append (package-name pkg) "-tarball"))
 | 
						||
    (build-system trivial-build-system)
 | 
						||
    (native-inputs (list tar xz))
 | 
						||
    (arguments
 | 
						||
     (list #:modules '((guix build utils))
 | 
						||
           #:builder
 | 
						||
           #~(begin
 | 
						||
               (use-modules (guix build utils))
 | 
						||
               (let ((out   #$output)
 | 
						||
                     (input #$pkg)
 | 
						||
                     (tar   #+(this-package-native-input "tar"))
 | 
						||
                     (xz    #+(this-package-native-input "xz")))
 | 
						||
                 (mkdir out)
 | 
						||
                 (set-path-environment-variable "PATH" '("bin") (list tar xz))
 | 
						||
                 (with-directory-excursion input
 | 
						||
                   (invoke "tar" "cJvf"
 | 
						||
                           (string-append out "/"
 | 
						||
                                          #$(package-name pkg) "-"
 | 
						||
                                          #$(package-version pkg)
 | 
						||
                                          "-"
 | 
						||
                                          #$(or (%current-target-system)
 | 
						||
                                                (%current-system))
 | 
						||
                                          ".tar.xz")
 | 
						||
                           "."
 | 
						||
                           ;; avoid non-determinism in the archive
 | 
						||
                           "--sort=name" "--mtime=@0"
 | 
						||
                           "--owner=root:0" "--group=root:0"))))))))
 | 
						||
 | 
						||
(define %bootstrap-binaries-tarball
 | 
						||
  ;; A tarball with the statically-linked bootstrap binaries.
 | 
						||
  (tarball-package %static-binaries))
 | 
						||
 | 
						||
(define %linux-libre-headers-bootstrap-tarball
 | 
						||
  ;; A tarball with the statically-linked Linux-Libre-Headers programs.
 | 
						||
  (tarball-package %linux-libre-headers-stripped))
 | 
						||
 | 
						||
(define %binutils-bootstrap-tarball
 | 
						||
  ;; A tarball with the statically-linked Binutils programs.
 | 
						||
  (tarball-package %binutils-static-stripped))
 | 
						||
 | 
						||
(define (%glibc-bootstrap-tarball)
 | 
						||
  ;; A tarball with GNU libc's shared libraries, dynamic linker, and headers.
 | 
						||
  (tarball-package (%glibc-stripped)))
 | 
						||
 | 
						||
(define %gcc-bootstrap-tarball
 | 
						||
  ;; A tarball with a dynamic-linked GCC and its headers.
 | 
						||
  (tarball-package %gcc-stripped))
 | 
						||
 | 
						||
(define %guile-bootstrap-tarball
 | 
						||
  ;; A tarball with the statically-linked, relocatable Guile.
 | 
						||
  (tarball-package %guile-static-stripped))
 | 
						||
 | 
						||
(define %bootstrap-tarballs
 | 
						||
  ;; A single derivation containing all the bootstrap tarballs, for
 | 
						||
  ;; convenience.
 | 
						||
  (package
 | 
						||
    (name "bootstrap-tarballs")
 | 
						||
    (version "0")
 | 
						||
    (source #f)
 | 
						||
    (build-system trivial-build-system)
 | 
						||
    (arguments
 | 
						||
     (list #:modules '((guix build utils))
 | 
						||
           #:builder
 | 
						||
           #~(begin
 | 
						||
               (use-modules (guix build utils)
 | 
						||
                            (ice-9 match)
 | 
						||
                            (srfi srfi-26))
 | 
						||
 | 
						||
               (define out #$output)
 | 
						||
 | 
						||
               (setvbuf (current-output-port)
 | 
						||
                        (cond-expand (guile-2.0 _IOLBF) (else 'line)))
 | 
						||
               (mkdir out)
 | 
						||
               (chdir out)
 | 
						||
               (for-each (match-lambda
 | 
						||
                           ((name . directory)
 | 
						||
                            (for-each (lambda (file)
 | 
						||
                                        (format #t "~a -> ~a~%" file out)
 | 
						||
                                        (symlink file (basename file)))
 | 
						||
                                      (find-files directory "\\.tar\\."))))
 | 
						||
                         %build-inputs))))
 | 
						||
    (inputs
 | 
						||
     (append (list %guile-bootstrap-tarball)
 | 
						||
         (match (or (%current-target-system) (%current-system))
 | 
						||
           ((or "i686-linux" "x86_64-linux")
 | 
						||
            (list %linux-libre-headers-bootstrap-tarball))
 | 
						||
           (_
 | 
						||
            (list %gcc-bootstrap-tarball
 | 
						||
                  %binutils-bootstrap-tarball
 | 
						||
                  (%glibc-bootstrap-tarball)
 | 
						||
                  %bootstrap-binaries-tarball)))))
 | 
						||
    (synopsis "Tarballs containing all the bootstrap binaries")
 | 
						||
    (description synopsis)
 | 
						||
    (home-page #f)
 | 
						||
    (license gpl3+)))
 | 
						||
 | 
						||
;;; make-bootstrap.scm ends here
 |