diff mbox series

[bug#71876] gnu: ci: Cross-build for fewer platforms.

Message ID 07545d0d319e4b3450ef4fb2865abb6c36d1837a.1719729766.git.efraim@flashner.co.il
State New
Headers show
Series [bug#71876] gnu: ci: Cross-build for fewer platforms. | expand

Commit Message

Efraim Flashner July 1, 2024, 2:19 p.m. UTC 
* gnu/ci.scm (%dead-platform-triplets): New variable.
(cross-jobs): Also don't build for systems listed in
%dead-platform-triplets.

Change-Id: Ic31ae6d307f2d243c098ec050bdb9d09060466ac
---
 gnu/ci.scm | 8 ++++++++
 1 file changed, 8 insertions(+)


base-commit: ab41f5ec1cf559708165e1cd28e15538e6a197d6

Comments

Ludovic Courtès July 5, 2024, 9 a.m. UTC | #1 
Hi,

Efraim Flashner <efraim@flashner.co.il> skribis:

> * gnu/ci.scm (%dead-platform-triplets): New variable.
> (cross-jobs): Also don't build for systems listed in
> %dead-platform-triplets.
>
> Change-Id: Ic31ae6d307f2d243c098ec050bdb9d09060466ac

[...]

> +(define %dead-platform-triplets
> +  ;; These systems are kept around for nostalgia or for tinkering, but regular
> +  ;; CI is disabled for them to reduce the load on CI infrastructure.
> +  '("mips64el-linux-gnu"
> +    "powerpc-linux-gnu"
> +    "powerpc64-linux-gnu"))

I’d change “dead” to “unsupported” but apart from that I think it’s a
good idea.  (And it’s good to cater to the needs of the nostalgic among
us too :-))

Ludo’.
Efraim Flashner July 10, 2024, 3:59 p.m. UTC | #2 
On Fri, Jul 05, 2024 at 11:00:52AM +0200, Ludovic Courtès wrote:
> Hi,
> 
> Efraim Flashner <efraim@flashner.co.il> skribis:
> 
> > * gnu/ci.scm (%dead-platform-triplets): New variable.
> > (cross-jobs): Also don't build for systems listed in
> > %dead-platform-triplets.
> >
> > Change-Id: Ic31ae6d307f2d243c098ec050bdb9d09060466ac
> 
> [...]
> 
> > +(define %dead-platform-triplets
> > +  ;; These systems are kept around for nostalgia or for tinkering, but regular
> > +  ;; CI is disabled for them to reduce the load on CI infrastructure.
> > +  '("mips64el-linux-gnu"
> > +    "powerpc-linux-gnu"
> > +    "powerpc64-linux-gnu"))
> 
> I’d change “dead” to “unsupported” but apart from that I think it’s a
> good idea.  (And it’s good to cater to the needs of the nostalgic among
> us too :-))

Sounds good to me.

Changes made and pushed!
diff mbox series

Patch

diff --git a/gnu/ci.scm b/gnu/ci.scm
index 95c63067a8d..b9d7459bea2 100644
--- a/gnu/ci.scm
+++ b/gnu/ci.scm
@@ -177,6 +177,13 @@  (define %bare-platform-triplets
     "or1k-elf"
     "xtensa-ath9k-elf"))
 
+(define %dead-platform-triplets
+  ;; These systems are kept around for nostalgia or for tinkering, but regular
+  ;; CI is disabled for them to reduce the load on CI infrastructure.
+  '("mips64el-linux-gnu"
+    "powerpc-linux-gnu"
+    "powerpc64-linux-gnu"))
+
 (define (cross-jobs store system)
   "Return a list of cross-compilation jobs for SYSTEM."
   (define (from-32-to-64? target)
@@ -200,6 +207,7 @@  (define (cross-jobs store system)
   (define (pointless? target)
     ;; Return #t if it makes no sense to cross-build to TARGET from SYSTEM.
     (or (member target %bare-platform-triplets)
+        (member target %dead-platform-triplets)
         (match system
           ((or "x86_64-linux" "i686-linux")
            (if (string-contains target "mingw")