02/02: hydra: berlin: Add ARMv7 build machines.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository maintenance.

commit 9f3ffa32b5548070b5c78814594b814ac823efd8
Author: Ludovic Courtès <address@hidden>
Date:   Tue Nov 13 23:07:35 2018 +0100

    hydra: berlin: Add ARMv7 build machines.
    
    * hydra/machines-for-berlin.scm (aarch64->armhf): New procedure.
    (armv7): New variable.
    <top level>: Use them.
---
 hydra/machines-for-berlin.scm | 21 ++++++++++++++++++++-
 1 file changed, 20 insertions(+), 1 deletion(-)

diff --git a/hydra/machines-for-berlin.scm b/hydra/machines-for-berlin.scm
index 75b34a2..d13da43 100644
--- a/hydra/machines-for-berlin.scm
+++ b/hydra/machines-for-berlin.scm
@@ -82,6 +82,13 @@
   (build-machine (inherit machine)
    (system "i686-linux")))
 
+(define (aarch64->armhf machine)
+  (build-machine
+   (inherit machine)
+   (system "armhf-linux")
+   (speed .9)
+   (parallel-builds 1)))            ;limit to favor the "real" ARMv7 machines
+
 (define overdrive
   ;; The SoftIron OverDrive 1000 donated by ARM:
   ;; <https://softiron.com/development-tools/overdrive-1000/>.
@@ -105,6 +112,18 @@
           "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAIBNEy1ons+3F17Oh7dVKAjdQ6Z11fG2IbhUu6FUs9DQB 
address@hidden")
          (parallel-builds 2))))
 
+(define armv7
+  (list
+   ;; BeagleBoard (2 cores) kindly hosted by Simon Josefsson.
+   (build-machine
+    (name "x15.sjd.se")
+    (user "hydra")
+    (system "armhf-linux")
+    (host-key
+     "ssh-ed25519 
AAAAC3NzaC1lZDI1NTE5AAAAILvy4tWBLfuBGB2Q8S5q0CeKLaD9w4hAG5PU/+nTD6e2 
address@hidden"))))
+
 
 (let ((x86_64 (map template-x86_64 hosts)))
-  (append overdrive x86_64 (map x86_64->i686 x86_64)))
+  (append overdrive (map aarch64->armv7 overdrive)
+          armv7
+          x86_64 (map x86_64->i686 x86_64)))