From eed47551708098ba5940814d276e94fc129de9ac Mon Sep 17 00:00:00 2001
From: zapashcanon <leo@ndrs.fr>
Date: Fri, 2 Aug 2024 18:16:41 +0200
Subject: [PATCH] require gcc on macOS for CI

---
 dune-project | 4 +++-
 owi.opam     | 3 ++-
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/dune-project b/dune-project
index 4d6b8c658..3929e9659 100644
--- a/dune-project
+++ b/dune-project
@@ -59,11 +59,13 @@
   ;; doc
   (odoc :with-doc)
   ;; test
+  ;; TODO: conf-gcc should be needed on macOS only...
+  (conf-gcc :with-test)
+  (frama-c (and (>= 29.0) :with-test))
   (mdx
    (and
     :with-test
     (>= 2.1)))
-  (frama-c (and (>= 29.0) :with-test))
   ;; dev
   (bisect_ppx
    (and
diff --git a/owi.opam b/owi.opam
index bb649c1ad..89f2fd6d3 100644
--- a/owi.opam
+++ b/owi.opam
@@ -34,8 +34,9 @@ depends: [
   "xmlm"
   "processor" {>= "0.2"}
   "odoc" {with-doc}
-  "mdx" {with-test & >= "2.1"}
+  "conf-gcc" {with-test}
   "frama-c" {>= "29.0" & with-test}
+  "mdx" {with-test & >= "2.1"}
   "bisect_ppx" {>= "2.5" & with-dev-setup}
   "ocb" {>= "0.1" & with-dev-setup}
   "crunch" {with-dev-setup}