Merge pull request #629 from talex5/linux-available

eio_linux: mark as only available on Linux
2025-07-20 00:01:05 -04:00 · 2023-10-08 16:44:42 +01:00 · 2023-10-07 14:30:50 +01:00
2 changed files with 2 additions and 0 deletions
--- a/eio_linux.opam
+++ b/eio_linux.opam
@ -34,3 +34,4 @@ build: [
  ]
 ]
 dev-repo: "git+https://github.com/ocaml-multicore/eio.git"
+available: [os = "linux"]
--- a/eio_linux.opam.template
+++ b/eio_linux.opam.template
@ -0,0 +1 @@
+available: [os = "linux"]
Author	SHA1	Message	Date
Thomas Leonard	23a1a84a13	Merge pull request #629 from talex5/linux-available eio_linux: mark as only available on Linux	2023-10-08 16:44:42 +01:00
Thomas Leonard	5b127ad26a	eio_linux: mark as only available on Linux This avoids the CI trying to test it on e.g. FreeBSD.	2023-10-07 14:30:50 +01:00