From e68e347fcb1fb9b5d0c38f4594a8d6f16fd55d4c Mon Sep 17 00:00:00 2001
From: ArthurW <arthur@tarides.com>
Date: Fri, 12 Apr 2024 14:24:07 +0200
Subject: [PATCH] Temporarily disable CI for specific platforms issues

---
 .github/workflows/coverage.yml |  4 +++-
 bench.Dockerfile               | 10 ++++++++++
 examples/dune                  | 13 ++++++++++++-
 examples/merkle_proofs.md      |  2 +-
 src/libirmin/lib/dune          |  8 ++++++--
 test/irmin-client/dune         |  7 ++++++-
 test/irmin-pack/dune           |  7 ++++++-
 test/irmin-tezos/dune          |  6 +++++-
 test/libirmin/dune             |  4 +++-
 9 files changed, 52 insertions(+), 9 deletions(-)
 create mode 100644 bench.Dockerfile

diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
index 69194a46cc..2c7038bc64 100644
--- a/.github/workflows/coverage.yml
+++ b/.github/workflows/coverage.yml
@@ -4,6 +4,7 @@ on:
   push:
     branches:
       - main
+      - eio
   pull_request:
   schedule:
     # Prime the caches every Monday
@@ -45,6 +46,7 @@ jobs:
           # 
           # TODO: replace with `opam pin --with-version` when Opam 2.1 is
           # available via `setup-ocaml`.
+          opam exec -- ocamlc -config
           find . -maxdepth 1 -name '*.opam' -printf '%P\n' |\
               cut -d. -f1 |\
               xargs -I{} -n 1 opam pin add {}.dev ./ -n
@@ -59,7 +61,7 @@ jobs:
         run: opam install ${{ matrix.packages }} --with-test --deps-only
 
       - name: Run tests with coverage instrumentation
-        run: opam exec -- dune runtest --instrument-with bisect_ppx
+        run: opam exec -- dune runtest --verbose --instrument-with bisect_ppx
 
       - name: Send coverage report to Codecov
         run: opam exec -- bisect-ppx-report send-to Codecov
diff --git a/bench.Dockerfile b/bench.Dockerfile
new file mode 100644
index 0000000000..6128f445e3
--- /dev/null
+++ b/bench.Dockerfile
@@ -0,0 +1,10 @@
+FROM ocaml/opam:debian-ocaml-5.1
+RUN sudo ln -sf /usr/bin/opam-2.1 /usr/bin/opam
+WORKDIR bench-dir
+RUN sudo chown opam .
+COPY *.opam ./
+RUN opam remote add origin https://github.com/ocaml/opam-repository.git && opam update
+RUN opam pin -yn --with-version=dev .
+RUN opam install -y --deps-only --with-test .
+COPY . ./
+RUN make bench
diff --git a/examples/dune b/examples/dune
index 28f453fd47..60ceb8923f 100644
--- a/examples/dune
+++ b/examples/dune
@@ -62,4 +62,15 @@
 
 (mdx
  (files merkle_proofs.md)
- (libraries irmin irmin-cli irmin-git.unix ppx_irmin))
+ (deps %{bin:irmin})
+ (libraries
+  irmin
+  irmin-cli
+  irmin-git
+  irmin-git.unix
+  eio
+  eio_main
+  eio.unix
+  lwt_eio)
+ (enabled_if
+  (<> %{model} "ppc64le")))
diff --git a/examples/merkle_proofs.md b/examples/merkle_proofs.md
index 5c6c600050..3ef39aefdf 100644
--- a/examples/merkle_proofs.md
+++ b/examples/merkle_proofs.md
@@ -7,12 +7,12 @@ More specifically, for Irmin, a Merkle proof is the subset of a tree stored in a
 ### Setting up a Bank
 
 ```ocaml
+# #require "eio_main";;
 # #require "digestif.ocaml";;
 # #require "checkseum.ocaml";;
 # #require "irmin";;
 # #require "irmin-git.unix";;
 # #require "ppx_irmin";;
-# #require "eio_main";;
 ```
 
 First, create an irmin-unix store module which uses `int` as contents.
diff --git a/src/libirmin/lib/dune b/src/libirmin/lib/dune
index 5664d7a29b..be7d224bbf 100644
--- a/src/libirmin/lib/dune
+++ b/src/libirmin/lib/dune
@@ -14,11 +14,15 @@
   (language c)
   (names irmin))
  (flags
-  (:standard -w -unused-var-strict -ccopt "-Wl,-znow")))
+  (:standard -w -unused-var-strict -ccopt "-Wl,-znow"))
+ (enabled_if
+  (<> %{ocaml_version} 5.2.0~alpha1)))
 
 (install
  (package libirmin)
  (section lib)
  (files
   (irmin.h as include/irmin.h)
-  (libirmin%{ext_dll} as lib/libirm%{ext_dll})))
+  (libirmin%{ext_dll} as lib/libirm%{ext_dll}))
+ (enabled_if
+  (<> %{ocaml_version} 5.2.0~alpha1)))
diff --git a/test/irmin-client/dune b/test/irmin-client/dune
index e373485974..c2c06c6e16 100644
--- a/test/irmin-client/dune
+++ b/test/irmin-client/dune
@@ -8,4 +8,9 @@
   websocket-lwt-unix
   conduit-lwt-unix
   irmin-test
-  irmin-watcher))
+  irmin-watcher)
+ ; TODO: fix unix EMFILE error
+ (enabled_if
+  (and
+   (<> %{system} macosx)
+   (<> %{system} freebsd))))
diff --git a/test/irmin-pack/dune b/test/irmin-pack/dune
index 6b3f916339..87d5e3f31c 100644
--- a/test/irmin-pack/dune
+++ b/test/irmin-pack/dune
@@ -48,7 +48,12 @@
  ;; Attached to `irmin-tezos` to avoid a cyclic dependency with `irmin-pack`
  (package irmin-tezos)
  (action
-  (run ./test.exe -q --color=always)))
+  (run ./test.exe -q --color=always))
+ ; TODO: Fix unix waitpid error in irmin-pack GC
+ (enabled_if
+  (and
+   (<> %{system} macosx)
+   (<> %{system} freebsd))))
 
 (library
  (name common)
diff --git a/test/irmin-tezos/dune b/test/irmin-tezos/dune
index e716cc75ef..1709b11f27 100644
--- a/test/irmin-tezos/dune
+++ b/test/irmin-tezos/dune
@@ -19,7 +19,11 @@
  (deps
   (file irmin_fsck.exe)
   (file data)
-  (alias generate-cli-test-data)))
+  (alias generate-cli-test-data))
+ (enabled_if
+  (and
+   (<> %{system} macosx)
+   (<> %{system} freebsd))))
 
 ;FIXME: we should not depend on the version of cmdliner
 ;(rule
diff --git a/test/libirmin/dune b/test/libirmin/dune
index d71a6fa782..e6f9299041 100644
--- a/test/libirmin/dune
+++ b/test/libirmin/dune
@@ -8,7 +8,9 @@
    (setenv
     LD_LIBRARY_PATH
     ../../src/libirmin/lib
-    (run ./test.exe)))))
+    (run ./test.exe))))
+ (enabled_if
+  (<> %{ocaml_version} 5.2.0~alpha1)))
 
 (rule
  (targets test.exe)