From 2aeb340b86e114ecfbb1739020ddfd1c71fe32cd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antonin=20D=C3=A9cimo?= <antonin@tarides.com>
Date: Wed, 18 Jan 2023 18:01:09 +0100
Subject: [PATCH] Allow disabling arches

---
 service/conf.ml | 15 +++++++++------
 1 file changed, 9 insertions(+), 6 deletions(-)

diff --git a/service/conf.ml b/service/conf.ml
index 4c5aa677..b7a129ef 100644
--- a/service/conf.ml
+++ b/service/conf.ml
@@ -116,6 +116,8 @@ let pool_of_arch = function
   | `Ppc64le -> "linux-ppc64"
   | `Riscv64 -> "linux-riscv64"
 
+let disabled_arches = []
+
 (* Arches supported by [distro] but unsupported by [DD.master_distro]. *)
 let supplementary_arches ov master_distro distro =
   if List.mem distro (List.map DD.resolve_alias DD.latest_distros) then
@@ -144,16 +146,17 @@ let platforms ~include_macos opam_version =
     let label = DD.latest_tag_of_distro (distro :> DD.t) in
     let tag = DD.tag_of_distro (distro :> DD.t) in
     let ov = OV.(Releases.latest |> with_just_major_and_minor) in
+    let filter_disabled =
+      List.filter_map (fun arch ->
+          if List.mem arch disabled_arches then None
+          else Some (v ~arch label tag ov))
+    in
     if distro = master_distro then
       v label tag (OV.with_variant ov (Some "flambda"))
-      :: List.map
-           (fun arch -> v ~arch label tag ov)
-           (DD.distro_arches ov (distro :> DD.t))
+      :: filter_disabled (DD.distro_arches ov (distro :> DD.t))
     else
       v label tag ov
-      :: List.map
-           (fun arch -> v ~arch label tag ov)
-           (supplementary_arches ov master_distro distro)
+      :: filter_disabled (supplementary_arches ov master_distro distro)
   in
   let make_release ?arch ov =
     let distro = DD.tag_of_distro (master_distro :> DD.t) in