From c0ac10be30ccddea875e48d5b8d18bf64b9bd24d Mon Sep 17 00:00:00 2001 From: Thomas Leonard Date: Sat, 23 Nov 2024 12:05:10 +0000 Subject: [PATCH] eio_posix: mark as unavailable on Windows --- eio_posix.opam | 1 + eio_posix.opam.template | 1 + 2 files changed, 2 insertions(+) create mode 100644 eio_posix.opam.template diff --git a/eio_posix.opam b/eio_posix.opam index 9d843811..8aa4d398 100644 --- a/eio_posix.opam +++ b/eio_posix.opam @@ -32,3 +32,4 @@ build: [ ] ] dev-repo: "git+https://github.com/ocaml-multicore/eio.git" +available: [os != "win32"] diff --git a/eio_posix.opam.template b/eio_posix.opam.template new file mode 100644 index 00000000..3da821cb --- /dev/null +++ b/eio_posix.opam.template @@ -0,0 +1 @@ +available: [os != "win32"]