janneke pushed a commit to branch wip-hurd-vm
in repository guix.
commit 6c1768ab094a2dfcd8b66aedff4ed81570577665
Author: Jan (janneke) Nieuwenhuizen <[email protected]>
AuthorDate: Fri Apr 10 18:06:46 2020 +0200
HACK build.sh, 2GiB disk.
---
gnu/system/hurd.scm | 15 ++++++++++++++-
1 file changed, 14 insertions(+), 1 deletion(-)
diff --git a/gnu/system/hurd.scm b/gnu/system/hurd.scm
index 28a88c1..c1807a7 100644
--- a/gnu/system/hurd.scm
+++ b/gnu/system/hurd.scm
@@ -136,6 +136,16 @@ if [ -f \"$GUIX_PROFILE/etc/profile\" ]; then
. \"$GUIX_PROFILE/etc/profile\"
fi\n"))
+ (define build.sh
+ (plain-file "build.sh"
+ "#! /bin/sh
+set -ex
+
+guix-daemon --build-users-group=guixbuild --disable-chroot --max-jobs=1 &
+guix archive --authorize <
/run/current-system/profile/share/guix/ci.guix.gnu.org.pub
+guix build -e '(@@ (gnu packages commencement) gnu-make-boot0)' --fallback
--no-offload
+"))
+
(define hurd-directives
`((directory "/servers")
,@(map (lambda (server)
@@ -165,6 +175,7 @@ fi\n"))
'(begin
(use-modules (ice-9 readline) (ice-9 colorized))
(activate-readline) (activate-colorized))))
+ ("/root/build.sh" -> ,build.sh)
(directory "/run")
(directory "/run/current-system")
("/run/current-system/profile" -> ,system-profile)
@@ -213,13 +224,15 @@ fi\n"))
("passwd" ,passwd)
("group" ,group)
("etc-profile" ,etc-profile)
- ("shadow" ,shadow))
+ ("shadow" ,shadow)
+ ("build.sh" ,build.sh))
#:copy-inputs? #t
#:os system-profile
#:bootcfg-drv grub.cfg
#:bootloader grub-bootloader
#:register-closures? #f
#:device-nodes 'hurd
+ #:disk-image-size (* 2 (expt 2 30)) ;2GiB
#:extra-directives hurd-directives))
;; Return this thunk so one can type "guix build -f gnu/system/hurd.scm".
