Commit | Line | Data |
---|---|---|
65d8b777 | 1 | ;;; GNU Guix --- Functional package management for GNU |
ab100b90 | 2 | ;;; Copyright © 2013, 2014, 2015, 2016, 2017, 2018, 2019 Ludovic Courtès <ludo@gnu.org> |
0a2a7053 | 3 | ;;; Copyright © 2015, 2018 Mark H Weaver <mhw@netris.org> |
f0150f87 | 4 | ;;; Copyright © 2015 Leo Famulari <leo@famulari.name> |
4c726001 | 5 | ;;; Copyright © 2016 Jan Nieuwenhuizen <janneke@gnu.org> |
a60f1319 | 6 | ;;; Copyright © 2016, 2017, 2018 Marius Bakke <mbakke@fastmail.com> |
862e38d5 DC |
7 | ;;; Copyright © 2016, 2017 Danny Milosavljevic <dannym@scratchpost.org> |
8 | ;;; Copyright © 2016, 2017 David Craven <david@craven.ch> | |
db34d4bb | 9 | ;;; Copyright © 2017, 2018 Efraim Flashner <efraim@flashner.co.il> |
e9bdef5f | 10 | ;;; Copyright © 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> |
ab100b90 | 11 | ;;; Copyright © 2019 nee <nee@cock.li> |
65d8b777 LC |
12 | ;;; |
13 | ;;; This file is part of GNU Guix. | |
14 | ;;; | |
15 | ;;; GNU Guix is free software; you can redistribute it and/or modify it | |
16 | ;;; under the terms of the GNU General Public License as published by | |
17 | ;;; the Free Software Foundation; either version 3 of the License, or (at | |
18 | ;;; your option) any later version. | |
19 | ;;; | |
20 | ;;; GNU Guix is distributed in the hope that it will be useful, but | |
21 | ;;; WITHOUT ANY WARRANTY; without even the implied warranty of | |
22 | ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
23 | ;;; GNU General Public License for more details. | |
24 | ;;; | |
25 | ;;; You should have received a copy of the GNU General Public License | |
26 | ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. | |
27 | ||
862e38d5 | 28 | (define-module (gnu packages bootloaders) |
65d8b777 | 29 | #:use-module (gnu packages) |
862e38d5 DC |
30 | #:use-module (gnu packages admin) |
31 | #:use-module ((gnu packages algebra) #:select (bc)) | |
32 | #:use-module (gnu packages assembly) | |
a60f1319 | 33 | #:use-module (gnu packages base) |
7febe3a2 | 34 | #:use-module (gnu packages disk) |
65d8b777 | 35 | #:use-module (gnu packages bison) |
862e38d5 | 36 | #:use-module (gnu packages cdrom) |
65212c42 | 37 | #:use-module (gnu packages check) |
0c7707d5 | 38 | #:use-module (gnu packages compression) |
862e38d5 DC |
39 | #:use-module (gnu packages cross-base) |
40 | #:use-module (gnu packages disk) | |
29be6cfb | 41 | #:use-module (gnu packages firmware) |
862e38d5 | 42 | #:use-module (gnu packages flex) |
a86177d6 | 43 | #:use-module (gnu packages fontutils) |
f074f5e8 | 44 | #:use-module (gnu packages gcc) |
862e38d5 | 45 | #:use-module (gnu packages gettext) |
65d8b777 | 46 | #:use-module (gnu packages linux) |
862e38d5 | 47 | #:use-module (gnu packages man) |
444f9dcc | 48 | #:use-module (gnu packages mtools) |
862e38d5 | 49 | #:use-module (gnu packages ncurses) |
96b714f5 | 50 | #:use-module (gnu packages perl) |
a60f1319 | 51 | #:use-module (gnu packages pkg-config) |
96b714f5 | 52 | #:use-module (gnu packages python) |
58301666 | 53 | #:use-module (gnu packages texinfo) |
a60f1319 | 54 | #:use-module (gnu packages tls) |
65212c42 | 55 | #:use-module (gnu packages sdl) |
12c613b5 | 56 | #:use-module (gnu packages swig) |
5d706f18 | 57 | #:use-module (gnu packages valgrind) |
59132b80 | 58 | #:use-module (gnu packages virtualization) |
ab100b90 | 59 | #:use-module (gnu packages xorg) |
a60f1319 | 60 | #:use-module (gnu packages web) |
862e38d5 DC |
61 | #:use-module (guix build-system gnu) |
62 | #:use-module (guix download) | |
63 | #:use-module (guix git-download) | |
64 | #:use-module ((guix licenses) #:prefix license:) | |
65 | #:use-module (guix packages) | |
63087721 EF |
66 | #:use-module (guix utils) |
67 | #:use-module (srfi srfi-1) | |
a7c87169 MW |
68 | #:use-module (srfi srfi-26) |
69 | #:use-module (ice-9 regex)) | |
65d8b777 | 70 | |
9b24c768 LC |
71 | (define unifont |
72 | ;; GNU Unifont, <http://gnu.org/s/unifont>. | |
73 | ;; GRUB needs it for its graphical terminal, gfxterm. | |
74 | (origin | |
75 | (method url-fetch) | |
76 | (uri | |
77 | "http://unifoundry.com/pub/unifont-7.0.06/font-builds/unifont-7.0.06.bdf.gz") | |
78 | (sha256 | |
79 | (base32 | |
80 | "0p2vhnc18cnbmb39vq4m7hzv4mhnm2l0a2s7gx3ar277fwng3hys")))) | |
81 | ||
65d8b777 LC |
82 | (define-public grub |
83 | (package | |
84 | (name "grub") | |
069ab3bb | 85 | (version "2.04") |
65d8b777 LC |
86 | (source (origin |
87 | (method url-fetch) | |
3586a3e9 | 88 | (uri (string-append "mirror://gnu/grub/grub-" version ".tar.xz")) |
65d8b777 LC |
89 | (sha256 |
90 | (base32 | |
069ab3bb TGR |
91 | "0zgp5m3hmc9jh8wpjx6czzkh5id2y8n1k823x2mjvm2sk6b28ag5")) |
92 | (patches (search-patches "grub-efi-fat-serial-number.patch")))) | |
65d8b777 LC |
93 | (build-system gnu-build-system) |
94 | (arguments | |
069ab3bb TGR |
95 | `(#:configure-flags |
96 | ;; Counterintuitively, this *disables* a spurious Python dependency by | |
97 | ;; calling the ‘true’ binary instead. Python is only needed during | |
98 | ;; bootstrapping (for genptl.py), not when building from a release. | |
99 | (list "PYTHON=true") | |
100 | #:phases (modify-phases %standard-phases | |
358db004 | 101 | (add-after 'unpack 'patch-stuff |
7c353424 | 102 | (lambda* (#:key native-inputs inputs #:allow-other-keys) |
04e0eac1 MW |
103 | (substitute* "grub-core/Makefile.in" |
104 | (("/bin/sh") (which "sh"))) | |
65d8b777 | 105 | |
358db004 LC |
106 | ;; Give the absolute file name of 'mdadm', used to |
107 | ;; determine the root file system when it's a RAID | |
108 | ;; device. Failing to do that, 'grub-probe' silently | |
109 | ;; fails if 'mdadm' is not in $PATH. | |
110 | (substitute* "grub-core/osdep/linux/getroot.c" | |
111 | (("argv\\[0\\] = \"mdadm\"") | |
112 | (string-append "argv[0] = \"" | |
113 | (assoc-ref inputs "mdadm") | |
114 | "/sbin/mdadm\""))) | |
115 | ||
04e0eac1 | 116 | ;; Make the font visible. |
7c353424 MO |
117 | (copy-file (assoc-ref (or native-inputs inputs) |
118 | "unifont") | |
119 | "unifont.bdf.gz") | |
04e0eac1 | 120 | (system* "gunzip" "unifont.bdf.gz") |
ab100b90 | 121 | |
122 | ;; Give the absolute file name of 'ckbcomp'. | |
123 | (substitute* "util/grub-kbdcomp.in" | |
124 | (("^ckbcomp ") | |
125 | (string-append (assoc-ref inputs "console-setup") | |
126 | "/bin/ckbcomp "))) | |
23a53a95 LF |
127 | #t)) |
128 | (add-before 'check 'disable-flaky-test | |
129 | (lambda _ | |
130 | ;; This test is unreliable. For more information, see: | |
131 | ;; <https://bugs.gnu.org/26936>. | |
132 | (substitute* "Makefile.in" | |
133 | (("grub_cmd_date grub_cmd_set_date grub_cmd_sleep") | |
134 | "grub_cmd_date grub_cmd_sleep")) | |
069ab3bb TGR |
135 | #t)) |
136 | (add-before 'check 'disable-pixel-perfect-test | |
137 | (lambda _ | |
138 | ;; This test compares many screenshots rendered with an | |
139 | ;; older Unifont (9.0.06) than that packaged in Guix. | |
140 | (substitute* "Makefile.in" | |
141 | (("test_unset grub_func_test") | |
142 | "test_unset")) | |
56f0feb6 | 143 | #t))) |
63087721 EF |
144 | ;; Disable tests on ARM and AARCH64 platforms. |
145 | #:tests? ,(not (any (cute string-prefix? <> (or (%current-target-system) | |
146 | (%current-system))) | |
147 | '("arm" "aarch64"))))) | |
65d8b777 | 148 | (inputs |
10da75df LC |
149 | `(("gettext" ,gettext-minimal) |
150 | ||
151 | ;; Depend on LVM2 for libdevmapper, used by 'grub-probe' and | |
152 | ;; 'grub-install' to recognize mapped devices (LUKS, etc.) | |
153 | ("lvm2" ,lvm2) | |
154 | ||
155 | ;; Depend on mdadm, which is invoked by 'grub-probe' and 'grub-install' | |
156 | ;; to determine whether the root file system is RAID. | |
358db004 | 157 | ("mdadm" ,mdadm) |
10da75df | 158 | |
ab100b90 | 159 | ;; Console-setup's ckbcomp is invoked by grub-kbdcomp. It is required |
160 | ;; for generating alternative keyboard layouts. | |
161 | ("console-setup" ,console-setup) | |
162 | ||
35014c40 TGR |
163 | ;; Needed for ‘grub-mount’, the only reliable way to tell whether a given |
164 | ;; file system will be readable by GRUB without rebooting. | |
165 | ("fuse" ,fuse) | |
166 | ||
65d8b777 LC |
167 | ("freetype" ,freetype) |
168 | ;; ("libusb" ,libusb) | |
01eafd38 | 169 | ("ncurses" ,ncurses))) |
65d8b777 | 170 | (native-inputs |
0a2a7053 MW |
171 | `(("pkg-config" ,pkg-config) |
172 | ("unifont" ,unifont) | |
9b24c768 | 173 | ("bison" ,bison) |
0a3aca47 LF |
174 | ;; Due to a bug in flex >= 2.6.2, GRUB must be built with an older flex: |
175 | ;; <http://lists.gnu.org/archive/html/grub-devel/2017-02/msg00133.html> | |
176 | ;; TODO Try building with flex > 2.6.4. | |
177 | ("flex" ,flex-2.6.1) | |
58301666 MW |
178 | ("texinfo" ,texinfo) |
179 | ("help2man" ,help2man) | |
65d8b777 | 180 | |
a7c87169 MW |
181 | ;; XXX: When building GRUB 2.02 on 32-bit x86, we need a binutils |
182 | ;; capable of assembling 64-bit instructions. However, our default | |
183 | ;; binutils on 32-bit x86 is not 64-bit capable. | |
184 | ,@(if (string-match "^i[3456]86-" (%current-system)) | |
185 | (let ((binutils (package/inherit | |
186 | binutils | |
187 | (name "binutils-i386") | |
188 | (arguments | |
189 | (substitute-keyword-arguments (package-arguments binutils) | |
190 | ((#:configure-flags flags ''()) | |
191 | `(cons "--enable-64-bit-bfd" ,flags))))))) | |
192 | `(("ld-wrapper" ,(make-ld-wrapper "ld-wrapper-i386" | |
193 | #:binutils binutils)) | |
194 | ("binutils" ,binutils))) | |
195 | '()) | |
196 | ||
65d8b777 LC |
197 | ;; Dependencies for the test suite. The "real" QEMU is needed here, |
198 | ;; because several targets are used. | |
7febe3a2 | 199 | ("parted" ,parted) |
d64bcccf | 200 | ("qemu" ,qemu-minimal-2.10) |
65d8b777 | 201 | ("xorriso" ,xorriso))) |
175b259c | 202 | (home-page "https://www.gnu.org/software/grub/") |
79c311b8 | 203 | (synopsis "GRand Unified Boot loader") |
65d8b777 | 204 | (description |
a22dc0c4 | 205 | "GRUB is a multiboot bootloader. It is used for initially loading the |
35b9e423 | 206 | kernel of an operating system and then transferring control to it. The kernel |
c5779c93 | 207 | then goes on to load the rest of the operating system. As a multiboot |
574e86f9 LC |
208 | bootloader, GRUB handles the presence of multiple operating systems installed |
209 | on the same computer; upon booting the computer, the user is presented with a | |
a22dc0c4 | 210 | menu to select one of the installed operating systems.") |
3f73aa1a | 211 | (license license:gpl3+) |
99effc8f | 212 | (properties '((cpe-name . "grub2"))))) |
acb5f7c3 MB |
213 | |
214 | (define-public grub-efi | |
215 | (package | |
216 | (inherit grub) | |
217 | (name "grub-efi") | |
218 | (synopsis "GRand Unified Boot loader (UEFI version)") | |
219 | (inputs | |
220 | `(("efibootmgr" ,efibootmgr) | |
c695fb76 | 221 | ("mtools" ,mtools) |
acb5f7c3 MB |
222 | ,@(package-inputs grub))) |
223 | (arguments | |
224 | `(;; TODO: Tests need a UEFI firmware for qemu. There is one at | |
225 | ;; https://github.com/tianocore/edk2/tree/master/OvmfPkg . | |
226 | ;; Search for 'OVMF' in "tests/util/grub-shell.in". | |
acb5f7c3 | 227 | ,@(substitute-keyword-arguments (package-arguments grub) |
46ff2dbb | 228 | ((#:tests? _ #f) #f) |
ef753a1a LC |
229 | ((#:configure-flags flags ''()) |
230 | `(cons "--with-platform=efi" ,flags)) | |
acb5f7c3 MB |
231 | ((#:phases phases) |
232 | `(modify-phases ,phases | |
233 | (add-after 'patch-stuff 'use-absolute-efibootmgr-path | |
234 | (lambda* (#:key inputs #:allow-other-keys) | |
235 | (substitute* "grub-core/osdep/unix/platform.c" | |
236 | (("efibootmgr") | |
237 | (string-append (assoc-ref inputs "efibootmgr") | |
238 | "/sbin/efibootmgr"))) | |
444f9dcc DM |
239 | #t)) |
240 | (add-after 'patch-stuff 'use-absolute-mtools-path | |
241 | (lambda* (#:key inputs #:allow-other-keys) | |
242 | (let ((mtools (assoc-ref inputs "mtools"))) | |
243 | (substitute* "util/grub-mkrescue.c" | |
244 | (("\"mformat\"") | |
245 | (string-append "\"" mtools | |
246 | "/bin/mformat\""))) | |
247 | (substitute* "util/grub-mkrescue.c" | |
248 | (("\"mcopy\"") | |
249 | (string-append "\"" mtools | |
250 | "/bin/mcopy\""))) | |
251 | #t)))))))))) | |
96b714f5 | 252 | |
dd4b7476 DM |
253 | ;; Because grub searches hardcoded paths it's easiest to just build grub |
254 | ;; again to make it find both grub-pc and grub-efi. There is a command | |
255 | ;; line argument which allows you to specify ONE platform - but | |
256 | ;; grub-mkrescue will use multiple platforms if they are available | |
257 | ;; in the installation directory (without command line argument). | |
258 | (define-public grub-hybrid | |
259 | (package | |
260 | (inherit grub-efi) | |
261 | (name "grub-hybrid") | |
262 | (synopsis "GRand Unified Boot loader (hybrid version)") | |
263 | (inputs | |
264 | `(("grub" ,grub) | |
265 | ,@(package-inputs grub-efi))) | |
266 | (arguments | |
267 | (substitute-keyword-arguments (package-arguments grub-efi) | |
268 | ((#:modules modules `((guix build utils) (guix build gnu-build-system))) | |
269 | `((ice-9 ftw) ,@modules)) | |
270 | ((#:phases phases) | |
271 | `(modify-phases ,phases | |
272 | (add-after 'install 'install-non-efi | |
273 | (lambda* (#:key inputs outputs #:allow-other-keys) | |
274 | (let ((input-dir (string-append (assoc-ref inputs "grub") | |
275 | "/lib/grub")) | |
276 | (output-dir (string-append (assoc-ref outputs "out") | |
277 | "/lib/grub"))) | |
278 | (for-each | |
279 | (lambda (basename) | |
db34d4bb EF |
280 | (if (not (or (string-prefix? "." basename) |
281 | (file-exists? (string-append output-dir "/" basename)))) | |
dd4b7476 DM |
282 | (symlink (string-append input-dir "/" basename) |
283 | (string-append output-dir "/" basename)))) | |
284 | (scandir input-dir)) | |
285 | #t))))))))) | |
286 | ||
96b714f5 DC |
287 | (define-public syslinux |
288 | (let ((commit "bb41e935cc83c6242de24d2271e067d76af3585c")) | |
289 | (package | |
290 | (name "syslinux") | |
291 | (version (git-version "6.04-pre" "1" commit)) | |
292 | (source (origin | |
293 | (method git-fetch) | |
294 | (uri (git-reference | |
295 | (url "https://github.com/geneC/syslinux") | |
296 | (commit commit))) | |
297 | (file-name (git-file-name name version)) | |
298 | (sha256 | |
299 | (base32 | |
300 | "0k8dvafd6410kqxf3kyr4y8jzmpmrih6wbjqg6gklak7945yflrc")))) | |
301 | (build-system gnu-build-system) | |
302 | (native-inputs | |
303 | `(("nasm" ,nasm) | |
304 | ("perl" ,perl) | |
305 | ("python-2" ,python-2))) | |
306 | (inputs | |
0b4dbb40 LC |
307 | `(("libuuid" ,util-linux) |
308 | ("mtools" ,mtools))) | |
96b714f5 DC |
309 | (arguments |
310 | `(#:parallel-build? #f | |
311 | #:make-flags | |
312 | (list (string-append "BINDIR=" %output "/bin") | |
313 | (string-append "SBINDIR=" %output "/sbin") | |
314 | (string-append "LIBDIR=" %output "/lib") | |
315 | (string-append "INCDIR=" %output "/include") | |
316 | (string-append "DATADIR=" %output "/share") | |
317 | (string-append "MANDIR=" %output "/share/man") | |
318 | "PERL=perl" | |
319 | "bios") | |
320 | #:phases | |
321 | (modify-phases %standard-phases | |
322 | (add-after 'unpack 'patch-files | |
0b4dbb40 | 323 | (lambda* (#:key inputs #:allow-other-keys) |
96b714f5 DC |
324 | (substitute* (find-files "." "Makefile.*|ppmtolss16") |
325 | (("/bin/pwd") (which "pwd")) | |
326 | (("/bin/echo") (which "echo")) | |
327 | (("/usr/bin/perl") (which "perl"))) | |
0b4dbb40 LC |
328 | (let ((mtools (assoc-ref inputs "mtools"))) |
329 | (substitute* (find-files "." "\\.c$") | |
330 | (("mcopy") | |
331 | (string-append mtools "/bin/mcopy")) | |
332 | (("mattrib") | |
333 | (string-append mtools "/bin/mattrib")))) | |
96b714f5 DC |
334 | #t)) |
335 | (delete 'configure) | |
336 | (add-before 'build 'set-permissions | |
337 | (lambda _ | |
60d8db74 | 338 | (invoke "chmod" "a+w" "utils/isohybrid.in"))) |
96b714f5 DC |
339 | (replace 'check |
340 | (lambda _ | |
341 | (setenv "CC" "gcc") | |
342 | (substitute* "tests/unittest/include/unittest/unittest.h" | |
343 | ;; Don't look up headers under /usr. | |
344 | (("/usr/include/") "")) | |
60d8db74 | 345 | (invoke "make" "unittest")))))) |
0f304ba7 | 346 | (home-page "https://www.syslinux.org") |
96b714f5 DC |
347 | (synopsis "Lightweight Linux bootloader") |
348 | (description "Syslinux is a lightweight Linux bootloader.") | |
8d3f604d EF |
349 | ;; The Makefile specifically targets i386 and x86_64 using nasm. |
350 | (supported-systems '("i686-linux" "x86_64-linux")) | |
96b714f5 DC |
351 | (license (list license:gpl2+ |
352 | license:bsd-3 ; gnu-efi/* | |
353 | license:bsd-4 ; gnu-efi/inc/* gnu-efi/lib/* | |
354 | ;; Also contains: | |
355 | license:expat license:isc license:zlib))))) | |
862e38d5 DC |
356 | |
357 | (define-public dtc | |
358 | (package | |
359 | (name "dtc") | |
91af1031 | 360 | (version "1.5.1") |
862e38d5 DC |
361 | (source (origin |
362 | (method url-fetch) | |
363 | (uri (string-append | |
3b4efb1f | 364 | "mirror://kernel.org/software/utils/dtc/" |
862e38d5 DC |
365 | "dtc-" version ".tar.xz")) |
366 | (sha256 | |
367 | (base32 | |
91af1031 | 368 | "07q3mdsvl4smbiakriq3hnsyyd0q344lsm306q0kgz4hjq1p82v6")))) |
862e38d5 DC |
369 | (build-system gnu-build-system) |
370 | (native-inputs | |
371 | `(("bison" ,bison) | |
12c613b5 | 372 | ("flex" ,flex) |
8cd10b22 VC |
373 | ("libyaml" ,libyaml) |
374 | ("pkg-config" ,pkg-config) | |
5d706f18 VC |
375 | ("swig" ,swig) |
376 | ("valgrind" ,valgrind))) | |
12c613b5 EF |
377 | (inputs |
378 | `(("python-2" ,python-2))) | |
862e38d5 DC |
379 | (arguments |
380 | `(#:make-flags | |
381 | (list "CC=gcc" | |
91af1031 TGR |
382 | |
383 | ;; /bin/fdt{get,overlay,put} need help finding libfdt.so.1. | |
384 | (string-append "LDFLAGS=-Wl,-rpath=" | |
385 | (assoc-ref %outputs "out") "/lib") | |
386 | ||
862e38d5 | 387 | (string-append "PREFIX=" (assoc-ref %outputs "out")) |
12c613b5 | 388 | (string-append "SETUP_PREFIX=" (assoc-ref %outputs "out")) |
862e38d5 DC |
389 | "INSTALL=install") |
390 | #:phases | |
391 | (modify-phases %standard-phases | |
d95bb295 | 392 | (delete 'configure)))) ; no configure script |
862e38d5 DC |
393 | (home-page "https://www.devicetree.org") |
394 | (synopsis "Compiles device tree source files") | |
395 | (description "@command{dtc} compiles | |
396 | @uref{http://elinux.org/Device_Tree_Usage, device tree source files} to device | |
397 | tree binary files. These are board description files used by Linux and BSD.") | |
398 | (license license:gpl2+))) | |
399 | ||
400 | (define u-boot | |
401 | (package | |
402 | (name "u-boot") | |
6b99afee | 403 | (version "2019.04") |
862e38d5 DC |
404 | (source (origin |
405 | (method url-fetch) | |
406 | (uri (string-append | |
407 | "ftp://ftp.denx.de/pub/u-boot/" | |
408 | "u-boot-" version ".tar.bz2")) | |
409 | (sha256 | |
410 | (base32 | |
6b99afee VC |
411 | "1vwv4bgbl7fjcm073zrphn17hnz5h5h778f88ivdsgbb2lnpgdvn")) |
412 | (patches | |
413 | (search-patches | |
414 | "u-boot-fix-mkimage-header-verification.patch")))) | |
862e38d5 DC |
415 | (native-inputs |
416 | `(("bc" ,bc) | |
336c4a4b | 417 | ("bison" ,bison) |
53e290df | 418 | ("dtc" ,dtc) |
336c4a4b | 419 | ("flex" ,flex) |
0c7707d5 | 420 | ("lz4" ,lz4) |
f074f5e8 | 421 | ("python-2" ,python-2) |
65212c42 DM |
422 | ("python2-coverage" ,python2-coverage) |
423 | ("python2-pytest" ,python2-pytest) | |
424 | ("sdl" ,sdl) | |
f074f5e8 | 425 | ("swig" ,swig))) |
862e38d5 | 426 | (build-system gnu-build-system) |
3e63a83c | 427 | (home-page "https://www.denx.de/wiki/U-Boot/") |
862e38d5 DC |
428 | (synopsis "ARM bootloader") |
429 | (description "U-Boot is a bootloader used mostly for ARM boards. It | |
430 | also initializes the boards (RAM etc).") | |
431 | (license license:gpl2+))) | |
432 | ||
2676628f DM |
433 | (define-public u-boot-tools |
434 | (package | |
435 | (inherit u-boot) | |
436 | (name "u-boot-tools") | |
437 | (arguments | |
65212c42 DM |
438 | `(#:make-flags '("HOSTCC=gcc") |
439 | #:test-target "tests" | |
2676628f DM |
440 | #:phases |
441 | (modify-phases %standard-phases | |
65212c42 DM |
442 | (add-after 'unpack 'patch |
443 | (lambda* (#:key inputs #:allow-other-keys) | |
444 | (substitute* "Makefile" | |
445 | (("/bin/pwd") (which "pwd")) | |
446 | (("/bin/false") (which "false"))) | |
447 | (substitute* "tools/dtoc/fdt_util.py" | |
448 | (("'cc'") "'gcc'")) | |
e1d1ec14 VC |
449 | (substitute* "tools/patman/test_util.py" |
450 | ;; python-coverage is simply called coverage in guix. | |
451 | (("python-coverage") "coverage") | |
452 | ;; XXX Allow for only 99% test coverage. | |
453 | ;; TODO: Find out why that is needed. | |
454 | (("if coverage != '100%':") "if not int(coverage.rstrip('%')) >= 99:")) | |
65212c42 DM |
455 | (substitute* "test/run" |
456 | ;; Make it easier to find test failures. | |
457 | (("#!/bin/bash") "#!/bin/bash -x") | |
458 | ;; pytest doesn't find it otherwise. | |
459 | (("test/py/tests/test_ofplatdata.py") | |
460 | "tests/test_ofplatdata.py") | |
461 | ;; This test would require git. | |
462 | (("\\./tools/patman/patman") (which "true")) | |
463 | ;; This test would require internet access. | |
464 | (("\\./tools/buildman/buildman") (which "true"))) | |
465 | (substitute* "test/py/tests/test_sandbox_exit.py" | |
466 | (("def test_ctrl_c") | |
467 | "@pytest.mark.skip(reason='Guix has problems with SIGINT') | |
468 | def test_ctrl_c")) | |
6f5be83c VC |
469 | ;; Test against the tools being installed rather than tools built |
470 | ;; for "sandbox" target. | |
471 | (substitute* "test/image/test-imagetools.sh" | |
472 | (("BASEDIR=sandbox") "BASEDIR=.")) | |
4da4e952 VC |
473 | (for-each (lambda (file) |
474 | (substitute* file | |
fb0aeaac VC |
475 | ;; Disable signatures, due to GPL/Openssl |
476 | ;; license incompatibilities. See | |
477 | ;; https://bugs.gnu.org/34717 for details. | |
478 | (("CONFIG_FIT_SIGNATURE=y") "CONFIG_FIT_SIGNATURE=n") | |
479 | ;; This test requires a sound system, which is un-used | |
480 | ;; in u-boot-tools. | |
4da4e952 VC |
481 | (("CONFIG_SOUND=y") "CONFIG_SOUND=n"))) |
482 | (find-files "configs" "sandbox_.*defconfig$")) | |
65212c42 | 483 | #t)) |
2676628f DM |
484 | (replace 'configure |
485 | (lambda* (#:key make-flags #:allow-other-keys) | |
486 | (call-with-output-file "configs/tools_defconfig" | |
487 | (lambda (port) | |
488 | (display "CONFIG_SYS_TEXT_BASE=0\n" port))) | |
489 | (apply invoke "make" "tools_defconfig" make-flags))) | |
490 | (replace 'build | |
491 | (lambda* (#:key inputs make-flags #:allow-other-keys) | |
9e84a4d6 | 492 | (apply invoke "make" "tools-all" make-flags))) |
2676628f DM |
493 | (replace 'install |
494 | (lambda* (#:key outputs #:allow-other-keys) | |
495 | (let* ((out (assoc-ref outputs "out")) | |
496 | (bin (string-append out "/bin"))) | |
497 | (for-each (lambda (name) | |
498 | (install-file name bin)) | |
499 | '("tools/netconsole" | |
500 | "tools/jtagconsole" | |
501 | "tools/gen_eth_addr" | |
502 | "tools/gen_ethaddr_crc" | |
503 | "tools/img2srec" | |
504 | "tools/mkenvimage" | |
505 | "tools/dumpimage" | |
506 | "tools/mkimage" | |
507 | "tools/proftool" | |
508 | "tools/fdtgrep" | |
10186ee2 DM |
509 | "tools/env/fw_printenv" |
510 | "tools/sunxi-spl-image-builder")) | |
65212c42 DM |
511 | #t))) |
512 | (delete 'check) | |
513 | (add-after 'install 'check | |
514 | (lambda* (#:key make-flags test-target #:allow-other-keys) | |
6f5be83c VC |
515 | (invoke "test/image/test-imagetools.sh"))) |
516 | ;; Only run full test suite on x86_64 systems, as many tests | |
517 | ;; assume x86_64. | |
518 | ,@(if (string-match "^x86_64-linux" | |
519 | (or (%current-target-system) | |
520 | (%current-system))) | |
521 | '((add-after 'check 'check-x86 | |
522 | (lambda* (#:key make-flags test-target #:allow-other-keys) | |
523 | (apply invoke "make" "mrproper" make-flags) | |
524 | (setenv "SDL_VIDEODRIVER" "dummy") | |
525 | (setenv "PAGER" "cat") | |
526 | (apply invoke "make" test-target make-flags)))) | |
527 | '())))) | |
2676628f DM |
528 | (description "U-Boot is a bootloader used mostly for ARM boards. It |
529 | also initializes the boards (RAM etc). This package provides its | |
530 | board-independent tools."))) | |
531 | ||
4ce4fc50 | 532 | (define-public (make-u-boot-package board triplet) |
862e38d5 | 533 | "Returns a u-boot package for BOARD cross-compiled for TRIPLET." |
6bfcb729 LC |
534 | (let ((same-arch? (lambda () |
535 | (string=? (%current-system) | |
536 | (gnu-triplet->nix-system triplet))))) | |
3bfee8ff EF |
537 | (package |
538 | (inherit u-boot) | |
df8a9096 DM |
539 | (name (string-append "u-boot-" |
540 | (string-replace-substring (string-downcase board) | |
541 | "_" "-"))) | |
3bfee8ff | 542 | (native-inputs |
6bfcb729 | 543 | `(,@(if (not (same-arch?)) |
f074f5e8 | 544 | `(("cross-gcc" ,(cross-gcc triplet #:xgcc gcc-7)) |
3bfee8ff | 545 | ("cross-binutils" ,(cross-binutils triplet))) |
a1f53127 | 546 | `(("gcc-7" ,gcc-7))) |
3bfee8ff EF |
547 | ,@(package-native-inputs u-boot))) |
548 | (arguments | |
37297674 EF |
549 | `(#:modules ((ice-9 ftw) |
550 | (srfi srfi-1) | |
551 | (guix build utils) | |
552 | (guix build gnu-build-system)) | |
3bfee8ff EF |
553 | #:test-target "test" |
554 | #:make-flags | |
555 | (list "HOSTCC=gcc" | |
6bfcb729 | 556 | ,@(if (not (same-arch?)) |
3bfee8ff EF |
557 | `((string-append "CROSS_COMPILE=" ,triplet "-")) |
558 | '())) | |
559 | #:phases | |
560 | (modify-phases %standard-phases | |
561 | (replace 'configure | |
562 | (lambda* (#:key outputs make-flags #:allow-other-keys) | |
563 | (let ((config-name (string-append ,board "_defconfig"))) | |
564 | (if (file-exists? (string-append "configs/" config-name)) | |
8f43bdd9 | 565 | (apply invoke "make" `(,@make-flags ,config-name)) |
3bfee8ff | 566 | (begin |
ac30d18c DM |
567 | (display "Invalid board name. Valid board names are:" |
568 | (current-error-port)) | |
30ef146c DM |
569 | (let ((suffix-len (string-length "_defconfig")) |
570 | (entries (scandir "configs"))) | |
571 | (for-each (lambda (file-name) | |
572 | (when (string-suffix? "_defconfig" file-name) | |
ac30d18c | 573 | (format (current-error-port) |
30ef146c DM |
574 | "- ~A\n" |
575 | (string-drop-right file-name | |
576 | suffix-len)))) | |
ee3c8fbe | 577 | (sort entries string-ci<))) |
bdd235b3 | 578 | (error "Invalid boardname ~s." ,board)))))) |
3bfee8ff | 579 | (replace 'install |
9b94ced4 | 580 | (lambda* (#:key outputs #:allow-other-keys) |
3bfee8ff EF |
581 | (let* ((out (assoc-ref outputs "out")) |
582 | (libexec (string-append out "/libexec")) | |
dd208b93 | 583 | (uboot-files (append |
a9446dde DM |
584 | (remove |
585 | ;; Those would not be reproducible | |
586 | ;; because of the randomness used | |
587 | ;; to produce them. | |
588 | ;; It's expected that the user will | |
589 | ;; use u-boot-tools to generate them | |
590 | ;; instead. | |
591 | (lambda (name) | |
592 | (string-suffix? | |
593 | "sunxi-spl-with-ecc.bin" | |
594 | name)) | |
595 | (find-files "." ".*\\.(bin|efi|img|spl|itb|dtb|rksd)$")) | |
fd0b21d5 | 596 | (find-files "." "^(MLO|SPL)$")))) |
3bfee8ff | 597 | (mkdir-p libexec) |
a32f9b59 | 598 | (install-file ".config" libexec) |
0fcfed39 DM |
599 | ;; Useful for "qemu -kernel". |
600 | (install-file "u-boot" libexec) | |
3bfee8ff EF |
601 | (for-each |
602 | (lambda (file) | |
603 | (let ((target-file (string-append libexec "/" file))) | |
604 | (mkdir-p (dirname target-file)) | |
605 | (copy-file file target-file))) | |
d1af9a8c DM |
606 | uboot-files) |
607 | #t))))))))) | |
862e38d5 DC |
608 | |
609 | (define-public u-boot-vexpress | |
610 | (make-u-boot-package "vexpress_ca9x4" "arm-linux-gnueabihf")) | |
611 | ||
612 | (define-public u-boot-malta | |
613 | (make-u-boot-package "malta" "mips64el-linux-gnuabi64")) | |
614 | ||
6b99afee VC |
615 | (define-public u-boot-am335x-boneblack |
616 | (let ((base (make-u-boot-package "am335x_evm" "arm-linux-gnueabihf"))) | |
617 | (package | |
618 | (inherit base) | |
619 | (name "u-boot-am335x-boneblack") | |
620 | (description "U-Boot is a bootloader used mostly for ARM boards. It | |
621 | also initializes the boards (RAM etc). | |
622 | ||
623 | This U-Boot is built for the BeagleBone Black, which was removed upstream, | |
624 | adjusted from the am335x_evm build with several device trees removed so that | |
625 | it fits within common partitioning schemes.") | |
626 | (arguments | |
627 | (substitute-keyword-arguments (package-arguments base) | |
628 | ((#:phases phases) | |
629 | `(modify-phases ,phases | |
630 | (add-after 'unpack 'patch-defconfig | |
631 | ;; Patch out other devicetrees to build image small enough to | |
632 | ;; fit within typical partitioning schemes where the first | |
633 | ;; partition begins at sector 2048. | |
634 | (lambda _ | |
635 | (substitute* "configs/am335x_evm_defconfig" | |
636 | (("CONFIG_OF_LIST=.*$") "CONFIG_OF_LIST=\"am335x-evm am335x-boneblack\"\n")) | |
637 | #t))))))))) | |
638 | ||
639 | (define-public u-boot-am335x-evm | |
640 | (make-u-boot-package "am335x_evm" "arm-linux-gnueabihf")) | |
4adeb3f6 | 641 | |
0da3526d VC |
642 | (define-public (make-u-boot-sunxi64-package board triplet) |
643 | (let ((base (make-u-boot-package board triplet))) | |
29be6cfb EF |
644 | (package |
645 | (inherit base) | |
646 | (arguments | |
647 | (substitute-keyword-arguments (package-arguments base) | |
648 | ((#:phases phases) | |
649 | `(modify-phases ,phases | |
650 | (add-after 'unpack 'set-environment | |
651 | (lambda* (#:key inputs #:allow-other-keys) | |
652 | (let ((bl31 (string-append (assoc-ref inputs "firmware") | |
653 | "/bl31.bin"))) | |
654 | (setenv "BL31" bl31) | |
35e427d1 DM |
655 | ;; This is necessary when we're using the bundled dtc. |
656 | ;(setenv "PATH" (string-append (getenv "PATH") ":" | |
657 | ; "scripts/dtc")) | |
658 | ) | |
29be6cfb EF |
659 | #t)))))) |
660 | (native-inputs | |
95d91986 | 661 | `(("firmware" ,arm-trusted-firmware-sun50i-a64) |
29be6cfb EF |
662 | ,@(package-native-inputs base)))))) |
663 | ||
0da3526d VC |
664 | (define-public u-boot-pine64-plus |
665 | (make-u-boot-sunxi64-package "pine64_plus" "aarch64-linux-gnu")) | |
666 | ||
74e35e8c | 667 | (define-public u-boot-pinebook |
4da4e952 | 668 | (make-u-boot-sunxi64-package "pinebook" "aarch64-linux-gnu")) |
74e35e8c | 669 | |
e830c9d0 | 670 | (define-public u-boot-bananapi-m2-ultra |
30aeb846 DM |
671 | (make-u-boot-package "Bananapi_M2_Ultra" "arm-linux-gnueabihf")) |
672 | ||
c55c6985 DM |
673 | (define-public u-boot-a20-olinuxino-lime |
674 | (make-u-boot-package "A20-OLinuXino-Lime" "arm-linux-gnueabihf")) | |
675 | ||
4b9e9abb DM |
676 | (define-public u-boot-a20-olinuxino-lime2 |
677 | (make-u-boot-package "A20-OLinuXino-Lime2" "arm-linux-gnueabihf")) | |
678 | ||
a7bb327e DM |
679 | (define-public u-boot-a20-olinuxino-micro |
680 | (make-u-boot-package "A20-OLinuXino_MICRO" "arm-linux-gnueabihf")) | |
681 | ||
84ee3378 DM |
682 | (define-public u-boot-nintendo-nes-classic-edition |
683 | (make-u-boot-package "Nintendo_NES_Classic_Edition" "arm-linux-gnueabihf")) | |
684 | ||
95a3422e VC |
685 | (define-public u-boot-wandboard |
686 | (make-u-boot-package "wandboard" "arm-linux-gnueabihf")) | |
687 | ||
adc61d72 VC |
688 | (define-public u-boot-mx6cuboxi |
689 | (make-u-boot-package "mx6cuboxi" "arm-linux-gnueabihf")) | |
690 | ||
1b960787 | 691 | (define-public u-boot-novena |
6e2bad00 VC |
692 | (let ((base (make-u-boot-package "novena" "arm-linux-gnueabihf"))) |
693 | (package | |
694 | (inherit base) | |
695 | (description "U-Boot is a bootloader used mostly for ARM boards. It | |
696 | also initializes the boards (RAM etc). | |
697 | ||
698 | This U-Boot is built for Novena. Be advised that this version, contrary | |
6b99afee | 699 | to Novena upstream, does not load u-boot.img from the first partition.") |
6e2bad00 VC |
700 | (arguments |
701 | (substitute-keyword-arguments (package-arguments base) | |
702 | ((#:phases phases) | |
703 | `(modify-phases ,phases | |
704 | (add-after 'unpack 'patch-novena-defconfig | |
705 | ;; Patch configuration to disable loading u-boot.img from FAT partition, | |
706 | ;; allowing it to be installed at a device offset. | |
707 | (lambda _ | |
708 | (substitute* "configs/novena_defconfig" | |
6b99afee | 709 | (("CONFIG_SPL_FS_FAT=y") "# CONFIG_SPL_FS_FAT is not set")) |
6e2bad00 | 710 | #t))))))))) |
1b960787 | 711 | |
dd4fe0c2 DM |
712 | (define-public u-boot-cubieboard |
713 | (make-u-boot-package "Cubieboard" "arm-linux-gnueabihf")) | |
714 | ||
a7d5ce94 JL |
715 | (define-public u-boot-cubietruck |
716 | (make-u-boot-package "Cubietruck" "arm-linux-gnueabihf")) | |
717 | ||
6fe16577 VC |
718 | (define-public u-boot-puma-rk3399 |
719 | (let ((base (make-u-boot-package "puma-rk3399" "aarch64-linux-gnu"))) | |
720 | (package | |
721 | (inherit base) | |
722 | (arguments | |
723 | (substitute-keyword-arguments (package-arguments base) | |
724 | ((#:phases phases) | |
725 | `(modify-phases ,phases | |
726 | (add-after 'unpack 'set-environment | |
727 | (lambda* (#:key inputs #:allow-other-keys) | |
728 | ;; Need to copy the firmware into u-boot build | |
729 | ;; directory. | |
730 | (copy-file (string-append (assoc-ref inputs "firmware") | |
731 | "/bl31.bin") "bl31-rk3399.bin") | |
732 | (copy-file (string-append (assoc-ref inputs "firmware-m0") | |
733 | "/rk3399m0.bin") "rk3399m0.bin") | |
734 | #t)) | |
735 | (add-after 'build 'build-itb | |
736 | (lambda* (#:key make-flags #:allow-other-keys) | |
737 | ;; The u-boot.itb is not built by default. | |
738 | (apply invoke "make" `(,@make-flags ,"u-boot.itb")))) | |
739 | (add-after 'build-itb 'build-rksd | |
740 | (lambda* (#:key inputs #:allow-other-keys) | |
741 | ;; Build Rockchip SD card images. | |
742 | (invoke "./tools/mkimage" "-T" "rksd" "-n" "rk3399" "-d" | |
743 | "spl/u-boot-spl.bin" "u-boot-spl.rksd"))))))) | |
744 | (native-inputs | |
745 | `(("firmware" ,arm-trusted-firmware-puma-rk3399) | |
746 | ("firmware-m0" ,rk3399-cortex-m0) | |
747 | ,@(package-native-inputs base)))))) | |
748 | ||
a60f1319 MB |
749 | (define-public vboot-utils |
750 | (package | |
751 | (name "vboot-utils") | |
752 | (version "R63-10032.B") | |
753 | (source (origin | |
754 | ;; XXX: Snapshots are available but changes timestamps every download. | |
755 | (method git-fetch) | |
756 | (uri (git-reference | |
757 | (url (string-append "https://chromium.googlesource.com" | |
758 | "/chromiumos/platform/vboot_reference")) | |
759 | (commit (string-append "release-" version)))) | |
760 | (file-name (string-append name "-" version "-checkout")) | |
761 | (sha256 | |
762 | (base32 | |
b634b5c2 KK |
763 | "0h0m3l69vp9dr6xrs1p6y7ilkq3jq8jraw2z20kqfv7lvc9l1lxj")) |
764 | (patches | |
765 | (search-patches "vboot-utils-skip-test-workbuf.patch" | |
766 | "vboot-utils-fix-tests-show-contents.patch" | |
767 | "vboot-utils-fix-format-load-address.patch")))) | |
a60f1319 MB |
768 | (build-system gnu-build-system) |
769 | (arguments | |
770 | `(#:make-flags (list "CC=gcc" | |
b634b5c2 KK |
771 | ;; On ARM, we must pass "HOST_ARCH=arm" so that the |
772 | ;; ${HOST_ARCH} and ${ARCH} variables in the makefile | |
773 | ;; match. Otherwise, ${HOST_ARCH} will be assigned | |
774 | ;; "armv7l", the value of `uname -m`, and will not | |
775 | ;; match ${ARCH}, which will make the tests require | |
776 | ;; QEMU for testing. | |
777 | ,@(if (string-prefix? "arm" | |
778 | (or (%current-target-system) | |
779 | (%current-system))) | |
780 | '("HOST_ARCH=arm") | |
781 | '()) | |
a60f1319 MB |
782 | (string-append "DESTDIR=" (assoc-ref %outputs "out"))) |
783 | #:phases (modify-phases %standard-phases | |
784 | (add-after 'unpack 'patch-hard-coded-paths | |
785 | (lambda* (#:key inputs outputs #:allow-other-keys) | |
786 | (let ((coreutils (assoc-ref inputs "coreutils")) | |
787 | (diffutils (assoc-ref inputs "diffutils"))) | |
788 | (substitute* "futility/misc.c" | |
789 | (("/bin/cp") (string-append coreutils "/bin/cp"))) | |
790 | (substitute* "tests/bitmaps/TestBmpBlock.py" | |
791 | (("/usr/bin/cmp") (string-append diffutils "/bin/cmp"))) | |
792 | (substitute* "vboot_host.pc.in" | |
793 | (("prefix=/usr") | |
794 | (string-append "prefix=" (assoc-ref outputs "out")))) | |
795 | #t))) | |
796 | (delete 'configure) | |
797 | (add-before 'check 'patch-tests | |
798 | (lambda _ | |
799 | ;; These tests compare diffs against known-good values. | |
800 | ;; Patch the paths to match those in the build container. | |
801 | (substitute* (find-files "tests/futility/expect_output") | |
802 | (("/mnt/host/source/src/platform/vboot_reference") | |
803 | (string-append "/tmp/guix-build-" ,name "-" ,version | |
804 | ".drv-0/source"))) | |
805 | ;; Tests require write permissions to many of these files. | |
806 | (for-each make-file-writable (find-files "tests/futility")) | |
71f2b4b8 KK |
807 | #t)) |
808 | (add-after 'install 'install-devkeys | |
809 | (lambda* (#:key outputs #:allow-other-keys) | |
810 | (let* ((out (assoc-ref outputs "out")) | |
811 | (share (string-append out "/share/vboot-utils"))) | |
812 | (copy-recursively "tests/devkeys" | |
813 | (string-append share "/devkeys")) | |
814 | #t)))) | |
a60f1319 MB |
815 | #:test-target "runtests")) |
816 | (native-inputs | |
817 | `(("pkg-config" ,pkg-config) | |
818 | ||
819 | ;; For tests. | |
820 | ("diffutils" ,diffutils) | |
821 | ("python@2" ,python-2))) | |
822 | (inputs | |
823 | `(("coreutils" ,coreutils) | |
824 | ("libyaml" ,libyaml) | |
825 | ("openssl" ,openssl) | |
826 | ("openssl:static" ,openssl "static") | |
827 | ("util-linux" ,util-linux))) | |
828 | (home-page | |
829 | "https://dev.chromium.org/chromium-os/chromiumos-design-docs/verified-boot") | |
830 | (synopsis "ChromiumOS verified boot utilities") | |
831 | (description | |
832 | "vboot-utils is a collection of tools to facilitate booting of | |
833 | Chrome-branded devices. This includes the @command{cgpt} partitioning | |
834 | program, the @command{futility} and @command{crossystem} firmware management | |
835 | tools, and more.") | |
836 | (license license:bsd-3))) | |
837 | ||
aa90375a AI |
838 | (define-public os-prober |
839 | (package | |
840 | (name "os-prober") | |
e9bdef5f | 841 | (version "1.77") |
aa90375a AI |
842 | (source |
843 | (origin | |
844 | (method url-fetch) | |
845 | (uri (string-append "mirror://debian/pool/main/o/os-prober/os-prober_" | |
846 | version ".tar.xz")) | |
847 | (sha256 | |
848 | (base32 | |
e9bdef5f | 849 | "0pvhrw4h05n21zw7ig3a3bi8aqdh6zxs0x1znz4g7vhspsps93ld")))) |
aa90375a AI |
850 | (build-system gnu-build-system) |
851 | (arguments | |
852 | `(#:modules ((guix build gnu-build-system) | |
853 | (guix build utils) | |
e9bdef5f TGR |
854 | (ice-9 regex) ; for string-match |
855 | (srfi srfi-26)) ; for cut | |
aa90375a | 856 | #:make-flags (list "CC=gcc") |
e9bdef5f | 857 | #:tests? #f ; no tests |
aa90375a AI |
858 | #:phases |
859 | (modify-phases %standard-phases | |
860 | (replace 'configure | |
861 | (lambda* (#:key outputs #:allow-other-keys) | |
862 | (substitute* (find-files ".") | |
863 | (("/usr") (assoc-ref outputs "out"))) | |
864 | (substitute* (find-files "." "50mounted-tests$") | |
865 | (("mkdir") "mkdir -p")) | |
866 | #t)) | |
867 | (replace 'install | |
868 | (lambda* (#:key outputs #:allow-other-keys) | |
869 | (define (find-files-non-recursive directory) | |
870 | (find-files directory | |
871 | (lambda (file stat) | |
872 | (string-match (string-append "^" directory "/[^/]*$") | |
873 | file)) | |
874 | #:directories? #t)) | |
875 | ||
876 | (let* ((out (assoc-ref outputs "out")) | |
877 | (bin (string-append out "/bin")) | |
878 | (lib (string-append out "/lib")) | |
879 | (share (string-append out "/share"))) | |
880 | (for-each (cut install-file <> bin) | |
881 | (list "linux-boot-prober" "os-prober")) | |
882 | (install-file "newns" (string-append lib "/os-prober")) | |
883 | (install-file "common.sh" (string-append share "/os-prober")) | |
884 | (install-file "os-probes/mounted/powerpc/20macosx" | |
885 | (string-append lib "/os-probes/mounted")) | |
886 | (for-each | |
887 | (lambda (directory) | |
888 | (for-each | |
889 | (lambda (file) | |
890 | (let ((destination (string-append lib "/" directory | |
891 | "/" (basename file)))) | |
892 | (mkdir-p (dirname destination)) | |
893 | (copy-recursively file destination))) | |
894 | (append (find-files-non-recursive (string-append directory "/common")) | |
895 | (find-files-non-recursive (string-append directory "/x86"))))) | |
896 | (list "os-probes" "os-probes/mounted" "os-probes/init" | |
897 | "linux-boot-probes" "linux-boot-probes/mounted")) | |
898 | #t)))))) | |
899 | (home-page "https://joeyh.name/code/os-prober") | |
900 | (synopsis "Detect other operating systems") | |
901 | (description "os-prober probes disks on the system for other operating | |
902 | systems so that they can be added to the bootloader. It also works out how to | |
903 | boot existing GNU/Linux systems and detects what distribution is installed in | |
904 | order to add a suitable bootloader menu entry.") | |
905 | (license license:gpl2+))) |