[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
02/02: hydra: Adjust offload setup for childhurds.
From: |
Ludovic Courtès |
Subject: |
02/02: hydra: Adjust offload setup for childhurds. |
Date: |
Sat, 2 Dec 2023 11:25:47 -0500 (EST) |
civodul pushed a commit to branch master
in repository maintenance.
commit 65f217f6bdbb6c3251fd5d9cd8e2ec83a488af12
Author: Ludovic Courtès <ludo@gnu.org>
AuthorDate: Sat Dec 2 17:22:51 2023 +0100
hydra: Adjust offload setup for childhurds.
This is a followup to ae20c49e0b26acd3c6c64b6c551fcadc8e229d2f.
* hydra/machines-for-berlin.scm (template-x86_64): Add case for
‘childhurd-ip?’ when defining ‘systems’ field.
(x86_64->childhurd): Remove.
<top level>: Adjust accordingly.
---
hydra/machines-for-berlin.scm | 29 +++++++++--------------------
1 file changed, 9 insertions(+), 20 deletions(-)
diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 5d78776..38de30d 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -157,7 +157,13 @@
(build-machine
(name ip)
(user "hydra")
- (systems '("x86_64-linux" "i686-linux"))
+ (systems
+ ;; Some of these machines run a childhurd, which they offload to (we
+ ;; effectively have two-level offloading, then).
+ (append (if (childhurd-ip? ip)
+ '("i586-gnu")
+ '())
+ '("x86_64-linux" "i686-linux")))
(host-key key)
(compression "no")
(speed 2)
@@ -184,14 +190,6 @@
(speed .9)
(parallel-builds 1)))
-(define (x86_64->childhurd machine)
- (build-machine
- (inherit machine)
- (systems '("i586-gnu"))
- (host-key "ssh-ed25519
AAAAC3NzaC1lZDI1NTE5AAAAIMMrm7dgMwQnsUcP//JW7odl1z632urrew036qcqbxc4
root@berlin.guix.gnu.org")
- (port 10022)
- (parallel-builds 1)))
-
(define overdrive
;; The SoftIron OverDrive 1000 donated by ARM:
;; CPU: AMD A1100 (4 Cortex A57 cores)
@@ -330,16 +328,7 @@
(member ip '("141.80.167.158" "141.80.167.159"
"141.80.167.160" "141.80.167.161")))
-(let* ((x86_64 (map template-x86_64 hosts))
- (fast (filter-map
- (match-lambda
- ((name key 128)
- (find (lambda (machine)
- (string=? (build-machine-name machine) name))
- x86_64))
- (_ #f))
- hosts))
- (fast/hurd (filter (compose childhurd-ip? build-machine-name) fast)))
+(let* ((x86_64 (map template-x86_64 hosts)))
(append overdrive
honeycomb
;; This has been disabled until bug# 43513 is fixed.
@@ -349,4 +338,4 @@
x86_64
;; This has been disabled until bug# 43513 is fixed.
;;(map x86_64->qemu-armhf fast)
- (map x86_64->childhurd fast/hurd)))
+ ))