diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2024-06-30 09:22:43 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2024-07-10 18:57:44 +0300 |
| commit | e99c838d4f87d6403355bb7b38695e1bc8f697f6 (patch) | |
| tree | fddd88dac7c0df8723bf7759984e587dee8c6400 /gnu | |
| parent | 2d11361a972f2835eaeeadff8f5215d193edfb7a (diff) | |
gnu: ci: Cross-build for fewer platforms.
* gnu/ci.scm (%unsupported-platform-triplets): New variable.
(cross-jobs): Also don't build for systems listed in
%unsupported-platform-triplets.
Change-Id: Ic31ae6d307f2d243c098ec050bdb9d09060466ac
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/ci.scm | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gnu/ci.scm b/gnu/ci.scm index 95c63067a8d..4e282d197f9 100644 --- a/gnu/ci.scm +++ b/gnu/ci.scm | |||
| @@ -177,6 +177,13 @@ SYSTEM." | |||
| 177 | "or1k-elf" | 177 | "or1k-elf" |
| 178 | "xtensa-ath9k-elf")) | 178 | "xtensa-ath9k-elf")) |
| 179 | 179 | ||
| 180 | (define %unsupported-platform-triplets | ||
| 181 | ;; These systems are kept around for nostalgia or for tinkering, but regular | ||
| 182 | ;; CI is disabled for them to reduce the load on CI infrastructure. | ||
| 183 | '("mips64el-linux-gnu" | ||
| 184 | "powerpc-linux-gnu" | ||
| 185 | "powerpc64-linux-gnu")) | ||
| 186 | |||
| 180 | (define (cross-jobs store system) | 187 | (define (cross-jobs store system) |
| 181 | "Return a list of cross-compilation jobs for SYSTEM." | 188 | "Return a list of cross-compilation jobs for SYSTEM." |
| 182 | (define (from-32-to-64? target) | 189 | (define (from-32-to-64? target) |
| @@ -200,6 +207,7 @@ SYSTEM." | |||
| 200 | (define (pointless? target) | 207 | (define (pointless? target) |
| 201 | ;; Return #t if it makes no sense to cross-build to TARGET from SYSTEM. | 208 | ;; Return #t if it makes no sense to cross-build to TARGET from SYSTEM. |
| 202 | (or (member target %bare-platform-triplets) | 209 | (or (member target %bare-platform-triplets) |
| 210 | (member target %unsupported-platform-triplets) | ||
| 203 | (match system | 211 | (match system |
| 204 | ((or "x86_64-linux" "i686-linux") | 212 | ((or "x86_64-linux" "i686-linux") |
| 205 | (if (string-contains target "mingw") | 213 | (if (string-contains target "mingw") |
