require gcc on macOS for CI

OCamlPro · Aug 2, 2024 · eed4755 · eed4755
1 parent c34727b
commit eed4755
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git 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
@@ -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}