Temporarily disable CI for specific platforms issues

.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

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

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")))

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.

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)))

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))))

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)

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

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)