From dde20461892a2ae4b43cd93fb5b6346735fe9c16 Mon Sep 17 00:00:00 2001 From: Vesa Karvonen Date: Thu, 27 Jul 2023 14:32:31 +0300 Subject: [PATCH] Skip tests by os_type --- README.md | 10 +++++----- eio_windows.opam | 3 +++ eio_windows.opam.template | 3 +++ 3 files changed, 11 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 2ab47fcef..a8c39351e 100644 --- a/README.md +++ b/README.md @@ -740,7 +740,7 @@ or by calling `Printexc.record_backtrace true`, as usual. When writing MDX tests that depend on getting the exact error output, it can be annoying to have the full backend-specific error displayed: - + ```ocaml # Eio_main.run @@ fun env -> let net = Eio.Stdenv.net env in @@ -887,7 +887,7 @@ perhaps with `open_dir` to constrain all access to be within that directory. Spawning a child process can be done using the [Eio.Process][] module: - + ```ocaml # Eio_main.run @@ fun env -> let proc_mgr = Eio.Stdenv.process_mgr env in @@ -899,7 +899,7 @@ hello There are various optional arguments for setting the process's current directory or connecting up the standard streams. For example, we can use `tr` to convert some text to upper-case: - + ```ocaml # Eio_main.run @@ fun env -> let proc_mgr = Eio.Stdenv.process_mgr env in @@ -912,7 +912,7 @@ ONE TWO THREE If you want to capture the output of a process, you can provide a suitable `Eio.Flow.sink` as the `stdout` argument, or use the `parse_out` convenience wrapper: - + ```ocaml # Eio_main.run @@ fun env -> let proc_mgr = Eio.Stdenv.process_mgr env in @@ -922,7 +922,7 @@ or use the `parse_out` convenience wrapper: All process functions either return the exit status or check that it was zero (success): - + ```ocaml # Eio_main.run @@ fun env -> let proc_mgr = Eio.Stdenv.process_mgr env in diff --git a/eio_windows.opam b/eio_windows.opam index 62bf0628a..b7414612b 100644 --- a/eio_windows.opam +++ b/eio_windows.opam @@ -31,3 +31,6 @@ build: [ ] dev-repo: "git+https://github.com/ocaml-multicore/eio.git" #available: [os = "win32"] +pin-depends: [ + [ "mdx.dev" "git+https://github.com/polytypic/mdx.git#7101533dedf90983e760d8a08f8bfeef4fedb89b" ] +] diff --git a/eio_windows.opam.template b/eio_windows.opam.template index 8fe8e3252..703316c7b 100644 --- a/eio_windows.opam.template +++ b/eio_windows.opam.template @@ -1 +1,4 @@ #available: [os = "win32"] +pin-depends: [ + [ "mdx.dev" "git+https://github.com/polytypic/mdx.git#7101533dedf90983e760d8a08f8bfeef4fedb89b" ] +]