Merge pull request #629 from talex5/linux-available

talex5 · web-flow · commit 23a1a84a1347 · 2023-10-08T16:44:42.000+01:00
eio_linux: mark as only available on Linux
diff --git 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"]
diff --git a/eio_linux.opam.template b/eio_linux.opam.template
@@ -0,0 +1 @@
+available: [os = "linux"]

Original file line number	Diff line number	Diff line change
`@@ -34,3 +34,4 @@ build: [`
`34`	`34`	`]`
`35`	`35`	`]`
`36`	`36`	`dev-repo: "git+https://github.com/ocaml-multicore/eio.git"`
	`37`	`+available: [os = "linux"]`