1 ;;; GNU Guix --- Functional package management for GNU
2 ;;; Copyright © 2012, 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès <ludo@gnu.org>
3 ;;; Copyright © 2014, 2015, 2018 Mark H Weaver <mhw@netris.org>
4 ;;; Copyright © 2017 Efraim Flashner <efraim@flashner.co.il>
6 ;;; This file is part of GNU Guix.
8 ;;; GNU Guix is free software; you can redistribute it and/or modify it
9 ;;; under the terms of the GNU General Public License as published by
10 ;;; the Free Software Foundation; either version 3 of the License, or (at
11 ;;; your option) any later version.
13 ;;; GNU Guix is distributed in the hope that it will be useful, but
14 ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
15 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 ;;; GNU General Public License for more details.
18 ;;; You should have received a copy of the GNU General Public License
19 ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
21 (define-module (gnu packages bootstrap)
22 #:use-module (guix licenses)
23 #:use-module (gnu packages)
24 #:use-module (guix packages)
25 #:use-module (guix download)
26 #:use-module (guix build-system)
27 #:use-module (guix build-system gnu)
28 #:use-module (guix build-system trivial)
29 #:use-module ((guix store)
30 #:select (run-with-store add-to-store add-text-to-store))
31 #:use-module ((guix derivations)
32 #:select (derivation derivation->output-path))
33 #:use-module ((guix utils) #:select (gnu-triplet->nix-system))
34 #:use-module (guix memoization)
35 #:use-module (srfi srfi-1)
36 #:use-module (srfi srfi-26)
37 #:use-module (ice-9 match)
38 #:export (bootstrap-origin
39 package-with-bootstrap-guile
42 bootstrap-guile-origin
45 %bootstrap-coreutils&co
53 ;;; Pre-built packages that are used to bootstrap the
54 ;;; distribution--i.e., to build all the core packages from scratch.
61 ;;; Helper procedures.
64 (define (bootstrap-origin source)
65 "Return a variant of SOURCE, an <origin> instance, whose method uses
66 %BOOTSTRAP-GUILE to do its job."
68 (lambda* (url hash-algo hash
69 #:optional name #:key system)
70 (fetch url hash-algo hash name
71 #:guile %bootstrap-guile
74 (define %bootstrap-patch-inputs
75 ;; Packages used when an <origin> has a non-empty 'patches' field.
76 `(("tar" ,%bootstrap-coreutils&co)
77 ("xz" ,%bootstrap-coreutils&co)
78 ("bzip2" ,%bootstrap-coreutils&co)
79 ("gzip" ,%bootstrap-coreutils&co)
80 ("patch" ,%bootstrap-coreutils&co)))
82 (let ((orig-method (origin-method source)))
83 (origin (inherit source)
84 (method (cond ((eq? orig-method url-fetch)
87 (patch-guile %bootstrap-guile)
88 (patch-inputs %bootstrap-patch-inputs)
90 ;; Patches can be origins as well, so process them.
91 (patches (map (match-lambda
93 (bootstrap-origin patch))
95 (origin-patches source))))))
97 (define* (package-from-tarball name source program-to-test description
99 "Return a package that correspond to the extraction of SOURCE.
100 PROGRAM-TO-TEST is a program to run after extraction of SOURCE, to check
101 whether everything is alright. If SNIPPET is provided, it is evaluated after
102 extracting SOURCE. SNIPPET should raise an exception to signal an error; its
103 return value is ignored."
107 (build-system trivial-build-system)
109 `(#:guile ,%bootstrap-guile
110 #:modules ((guix build utils))
112 (let ((out (assoc-ref %outputs "out"))
113 (tar (assoc-ref %build-inputs "tar"))
114 (xz (assoc-ref %build-inputs "xz"))
115 (tarball (assoc-ref %build-inputs "tarball")))
116 (use-modules (guix build utils))
119 (copy-file tarball "binaries.tar.xz")
120 (invoke xz "-d" "binaries.tar.xz")
121 (let ((builddir (getcwd)))
122 (with-directory-excursion out
124 (string-append builddir "/binaries.tar"))
125 ,@(if snippet (list snippet) '())
126 (invoke (string-append "bin/" ,program-to-test)
129 `(("tar" ,(search-bootstrap-binary "tar" (%current-system)))
130 ("xz" ,(search-bootstrap-binary "xz" (%current-system)))
131 ("tarball" ,(bootstrap-origin (source (%current-system))))))
133 (synopsis description)
134 (description description)
138 (define package-with-bootstrap-guile
140 "Return a variant of P such that all its origins are fetched with
142 (define rewritten-input
144 ((name (? origin? o))
145 `(,name ,(bootstrap-origin o)))
146 ((name (? package? p) sub-drvs ...)
147 `(,name ,(package-with-bootstrap-guile p) ,@sub-drvs))
151 (source (match (package-source p)
152 ((? origin? o) (bootstrap-origin o))
154 (inputs (map rewritten-input
156 (native-inputs (map rewritten-input
157 (package-native-inputs p)))
158 (propagated-inputs (map rewritten-input
159 (package-propagated-inputs p)))
160 (replacement (and=> (package-replacement p)
161 package-with-bootstrap-guile)))))
163 (define* (glibc-dynamic-linker
164 #:optional (system (or (and=> (%current-target-system)
165 gnu-triplet->nix-system)
167 "Return the name of Glibc's dynamic linker for SYSTEM."
168 ;; See the 'SYSDEP_KNOWN_INTERPRETER_NAMES' cpp macro in libc.
169 (cond ((string=? system "x86_64-linux") "/lib/ld-linux-x86-64.so.2")
170 ((string=? system "i686-linux") "/lib/ld-linux.so.2")
171 ((string=? system "armhf-linux") "/lib/ld-linux-armhf.so.3")
172 ((string=? system "mips64el-linux") "/lib/ld.so.1")
173 ((string=? system "i586-gnu") "/lib/ld.so.1")
174 ((string=? system "i686-gnu") "/lib/ld.so.1")
175 ((string=? system "aarch64-linux") "/lib/ld-linux-aarch64.so.1")
176 ((string=? system "powerpc-linux") "/lib/ld.so.1")
177 ((string=? system "powerpc64le-linux") "/lib/ld64.so.2")
178 ((string=? system "alpha-linux") "/lib/ld-linux.so.2")
179 ((string=? system "s390x-linux") "/lib/ld64.so.1")
180 ((string=? system "riscv64-linux") "/lib/ld-linux-riscv64-lp64d.so.1")
182 ;; XXX: This one is used bare-bones, without a libc, so add a case
183 ;; here just so we can keep going.
184 ((string=? system "arm-elf") "no-ld.so")
185 ((string=? system "arm-eabi") "no-ld.so")
186 ((string=? system "xtensa-elf") "no-ld.so")
187 ((string=? system "avr") "no-ld.so")
188 ((string=? system "propeller-elf") "no-ld.so")
189 ((string=? system "i686-mingw") "no-ld.so")
190 ((string=? system "vc4-elf") "no-ld.so")
192 (else (error "dynamic linker name not known for this system"
197 ;;; Bootstrap packages.
200 (define %bootstrap-base-urls
201 ;; This is where the initial binaries come from.
202 '("https://alpha.gnu.org/gnu/guix/bootstrap"
203 "http://alpha.gnu.org/gnu/guix/bootstrap"
204 "ftp://alpha.gnu.org/gnu/guix/bootstrap"
205 "http://www.fdn.fr/~lcourtes/software/guix/packages"
206 "http://flashner.co.il/guix/bootstrap"))
208 (define (bootstrap-guile-url-path system)
209 "Return the URI for FILE."
210 (string-append "/" system
213 "/20170217/guile-2.0.14.tar.xz")
215 "/20150101/guile-2.0.11.tar.xz")
217 "/20131110/guile-2.0.9.tar.xz"))))
219 (define (bootstrap-guile-hash system)
220 "Return the SHA256 hash of the Guile bootstrap tarball for SYSTEM."
223 (base32 "1w2p5zyrglzzniqgvyn1b55vprfzhgk8vzbzkkbdgl5248si0yq3"))
225 (base32 "0im800m30abgh7msh331pcbjvb4n02smz5cfzf1srv0kpx3csmxp"))
227 (base32 "0fzp93lvi0hn54acc0fpvhc7bvl0yc853k62l958cihk03q80ilr"))
229 (base32 "1mi3brl7l58aww34rawhvja84xc7l1b4hmwdmc36fp9q9mfx0lg5"))
231 (base32 "1giy2aprjmn5fp9c4s9r125fljw4wv6ixy5739i5bffw4jgr0f9r"))))
233 (define (bootstrap-guile-origin system)
234 "Return an <origin> object for the Guile tarball of SYSTEM."
237 (uri (map (cute string-append <> (bootstrap-guile-url-path system))
238 %bootstrap-base-urls))
239 (sha256 (bootstrap-guile-hash system))))
241 (define (download-bootstrap-guile store system)
242 "Return a derivation that downloads the bootstrap Guile tarball for SYSTEM."
243 (let* ((path (bootstrap-guile-url-path system))
244 (base (basename path))
245 (urls (map (cut string-append <> path) %bootstrap-base-urls)))
246 (run-with-store store
247 (url-fetch urls 'sha256 (bootstrap-guile-hash system)
250 (define* (raw-build store name inputs
251 #:key outputs system search-paths
253 (define (->store file)
254 (add-to-store store file #t "sha256"
255 (or (search-bootstrap-binary file
257 (error "bootstrap binary not found"
260 (let* ((tar (->store "tar"))
262 (mkdir (->store "mkdir"))
263 (bash (->store "bash"))
264 (guile (download-bootstrap-guile store system))
265 ;; The following code, run by the bootstrap guile after it is
266 ;; unpacked, creates a wrapper for itself to set its load path.
267 ;; This replaces the previous non-portable method based on
268 ;; reading the /proc/self/exe symlink.
271 (use-modules (ice-9 match))
272 (match (command-line)
274 (let ((bin-dir (string-append out "/bin"))
275 (guile (string-append out "/bin/guile"))
276 (guile-real (string-append out "/bin/.guile-real"))
277 ;; We must avoid using a bare dollar sign in this code,
278 ;; because it would be interpreted by the shell.
279 (dollar (string (integer->char 36))))
280 (chmod bin-dir #o755)
281 (rename-file guile guile-real)
282 (call-with-output-file guile
286 export GUILE_SYSTEM_PATH=~a/share/guile/2.0
287 export GUILE_SYSTEM_COMPILED_PATH=~a/lib/guile/2.0/ccache
288 exec -a \"~a0\" ~a \"~a@\"\n"
289 bash out out dollar guile-real dollar)))
291 (chmod bin-dir #o555))))))
293 (add-text-to-store store
294 "build-bootstrap-guile.sh"
296 echo \"unpacking bootstrap Guile to '$out'...\"
299 ~a -dc < $GUILE_TARBALL | ~a xv
301 # Use the bootstrap guile to create its own wrapper to set the load path.
302 GUILE_SYSTEM_PATH=$out/share/guile/2.0 \
303 GUILE_SYSTEM_COMPILED_PATH=$out/lib/guile/2.0/ccache \
304 $out/bin/guile -c ~s $out ~a
307 $out/bin/guile --version~%"
309 (format #f "~s" make-guile-wrapper)
311 (list mkdir xz tar bash))))
312 (derivation store name
315 #:inputs `((,bash) (,builder) (,guile))
316 #:env-vars `(("GUILE_TARBALL"
317 . ,(derivation->output-path guile))))))
319 (define* (make-raw-bag name
320 #:key source inputs native-inputs outputs
325 (build-inputs inputs)
328 (define %bootstrap-guile
329 ;; The Guile used to run the build scripts of the initial derivations.
330 ;; It is just unpacked from a tarball containing a pre-built binary.
331 ;; This is typically built using %GUILE-BOOTSTRAP-TARBALL below.
333 ;; XXX: Would need libc's `libnss_files2.so' for proper `getaddrinfo'
334 ;; support (for /etc/services).
335 (let ((raw (build-system
337 (description "Raw build system with direct store access")
338 (lower make-raw-bag))))
340 (name "guile-bootstrap")
344 (synopsis "Bootstrap Guile")
345 (description "Pre-built Guile for bootstrapping purposes.")
349 (define %bootstrap-coreutils&co
350 (package-from-tarball "bootstrap-binaries"
354 (uri (map (cut string-append <> "/" system
357 "/20150101/static-binaries.tar.xz")
359 "/20170217/static-binaries.tar.xz")
361 "/20131110/static-binaries.tar.xz")))
362 %bootstrap-base-urls))
367 "0c533p9dhczzcsa1117gmfq3pc8w362g4mx84ik36srpr7cx2bg4"))
370 "0s5b3jb315n13m1k8095l0a5hfrsz8g0fv1b6riyc5hnxqyphlak"))
373 "0gf0fn2kbpxkjixkmx5f4z6hv6qpmgixl69zgg74dbsfdfj8jdv5"))
376 "18dfiq6c6xhsdpbidigw6480wh0vdgsxqq3xindq4lpdgqlccpfh"))
379 "072y4wyfsj1bs80r6vbybbafy8ya4vfy7qj25dklwk97m6g71753"))))))
380 "fgrep" ; the program to test
381 "Bootstrap binaries of Coreutils, Awk, etc."
383 '(let ((path (list (string-append (getcwd) "/bin"))))
385 (patch-shebang "bin/egrep" path)
386 (patch-shebang "bin/fgrep" path)
387 ;; Starting with grep@2.25 'egrep' and 'fgrep' are shell files
388 ;; that call 'grep'. If the bootstrap 'egrep' and 'fgrep'
389 ;; are not binaries then patch them to execute 'grep' via its
390 ;; absolute file name instead of searching for it in $PATH.
391 (if (not (elf-file? "bin/egrep"))
392 (substitute* '("bin/egrep" "bin/fgrep")
393 (("^exec grep") (string-append (getcwd) "/bin/grep"))))
394 (chmod "bin" #o555))))
396 (define %bootstrap-binutils
397 (package-from-tarball "binutils-bootstrap"
401 (uri (map (cut string-append <> "/" system
404 "/20150101/binutils-2.25.tar.xz")
406 "/20170217/binutils-2.27.tar.xz")
408 "/20131110/binutils-2.23.2.tar.xz")))
409 %bootstrap-base-urls))
414 "1j5yivz7zkjqfsfmxzrrrffwyayjqyfxgpi89df0w4qziqs2dg20"))
417 "14jgwf9gscd7l2pnz610b1zia06dvcm2qyzvni31b8zpgmcai2v9"))
420 "1v7dj6bzn6m36f20gw31l99xaabq4xrhrx3gwqkhhig0mdlmr69q"))
423 "111s7ilfiby033rczc71797xrmaa3qlv179wdvsaq132pd51xv3n"))
426 "1x8kkhcxmfyzg1ddpz2pxs6fbdl6412r7x0nzbmi5n7mj8zw2gy7"))))))
427 "ld" ; the program to test
428 "Bootstrap binaries of the GNU Binutils"))
430 (define %bootstrap-glibc
433 (name "glibc-bootstrap")
436 (build-system trivial-build-system)
438 `(#:guile ,%bootstrap-guile
439 #:modules ((guix build utils))
441 (let ((out (assoc-ref %outputs "out"))
442 (tar (assoc-ref %build-inputs "tar"))
443 (xz (assoc-ref %build-inputs "xz"))
444 (tarball (assoc-ref %build-inputs "tarball")))
445 (use-modules (guix build utils))
448 (copy-file tarball "binaries.tar.xz")
449 (invoke xz "-d" "binaries.tar.xz")
450 (let ((builddir (getcwd)))
451 (with-directory-excursion out
453 (string-append builddir
457 ;; Patch libc.so so it refers to the right path.
458 (substitute* "lib/libc.so"
459 (("/[^ ]+/lib/(libc|ld)" _ prefix)
460 (string-append out "/lib/" prefix)))
464 `(("tar" ,(search-bootstrap-binary "tar" (%current-system)))
465 ("xz" ,(search-bootstrap-binary "xz" (%current-system)))
466 ("tarball" ,(bootstrap-origin
469 (uri (map (cut string-append <> "/" (%current-system)
470 (match (%current-system)
472 "/20150101/glibc-2.20.tar.xz")
474 "/20170217/glibc-2.25.tar.xz")
476 "/20131110/glibc-2.18.tar.xz")))
477 %bootstrap-base-urls))
479 (match (%current-system)
482 "0jlqrgavvnplj1b083s20jj9iddr4lzfvwybw5xrcis9spbfzk7v"))
485 "1hgrccw1zqdc7lvgivwa54d9l3zsim5pqm0dykxg0z522h6gr05w"))
488 "18cmgvpllqfpn6khsmivqib7ys8ymnq0hdzi3qp24prik0ykz8gn"))
491 "07nx3x8598i2924rjnlrncg6rm61c9bmcczbbcpbx0fb742nvv5c"))
494 "0k97a3whzx3apsi9n2cbsrr79ad6lh00klxph9hw4fqyp1abkdsg")))))))))
495 (synopsis "Bootstrap binaries and headers of the GNU C Library")
496 (description synopsis)
500 (define %bootstrap-gcc
501 ;; The initial GCC. Uses binaries from a tarball typically built by
502 ;; %GCC-BOOTSTRAP-TARBALL.
504 (name "gcc-bootstrap")
507 (build-system trivial-build-system)
509 `(#:guile ,%bootstrap-guile
510 #:modules ((guix build utils))
512 (let ((out (assoc-ref %outputs "out"))
513 (tar (assoc-ref %build-inputs "tar"))
514 (xz (assoc-ref %build-inputs "xz"))
515 (bash (assoc-ref %build-inputs "bash"))
516 (libc (assoc-ref %build-inputs "libc"))
517 (tarball (assoc-ref %build-inputs "tarball")))
518 (use-modules (guix build utils)
522 (copy-file tarball "binaries.tar.xz")
523 (invoke xz "-d" "binaries.tar.xz")
524 (let ((builddir (getcwd))
525 (bindir (string-append out "/bin")))
526 (with-directory-excursion out
528 (string-append builddir "/binaries.tar")))
530 (with-directory-excursion bindir
532 (rename-file "gcc" ".gcc-wrapped")
533 (call-with-output-file "gcc"
536 exec ~a/bin/.gcc-wrapped -B~a/lib \
537 -Wl,-rpath -Wl,~a/lib \
538 -Wl,-dynamic-linker -Wl,~a/~a \"$@\"~%"
541 ,(glibc-dynamic-linker))))
546 `(("tar" ,(search-bootstrap-binary "tar" (%current-system)))
547 ("xz" ,(search-bootstrap-binary "xz" (%current-system)))
548 ("bash" ,(search-bootstrap-binary "bash" (%current-system)))
549 ("libc" ,%bootstrap-glibc)
550 ("tarball" ,(bootstrap-origin
553 (uri (map (cut string-append <> "/" (%current-system)
554 (match (%current-system)
556 "/20150101/gcc-4.8.4.tar.xz")
558 "/20170217/gcc-5.4.0.tar.xz")
560 "/20131110/gcc-4.8.2.tar.xz")))
561 %bootstrap-base-urls))
563 (match (%current-system)
566 "17ga4m6195n4fnbzdkmik834znkhs53nkypp6557pl1ps7dgqbls"))
569 "150c1arrf2k8vfy6dpxh59vcgs4p1bgiz2av5m19dynpks7rjnyw"))
572 "0ghz825yzp43fxw53kd6afm8nkz16f7dxi9xi40bfwc8x3nbbr8v"))
575 "1ar3vdzyqbfm0z36kmvazvfswxhcihlacl2dzdjgiq25cqnq9ih1"))
578 "1m5miqkyng45l745n0sfafdpjkqv9225xf44jqkygwsipj2cv9ks")))))))))
580 (list (search-path-specification
582 (files '("include")))
583 (search-path-specification
584 (variable "LIBRARY_PATH")
585 (files '("lib" "lib64")))))
586 (synopsis "Bootstrap binaries of the GNU Compiler Collection")
587 (description synopsis)
591 (define %bootstrap-inputs
592 ;; The initial, pre-built inputs. From now on, we can start building our
594 `(("libc" ,%bootstrap-glibc)
595 ("gcc" ,%bootstrap-gcc)
596 ("binutils" ,%bootstrap-binutils)
597 ("coreutils&co" ,%bootstrap-coreutils&co)
599 ;; In gnu-build-system.scm, we rely on the availability of Bash.
600 ("bash" ,%bootstrap-coreutils&co)))
602 ;;; bootstrap.scm ends here