guix-commits
[Top][All Lists]
Advanced

[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)))
+          ))



reply via email to

[Prev in Thread] Current Thread [Next in Thread]