From 502d91dd8999c14bf31158c73d501445c5c6a4ec Mon Sep 17 00:00:00 2001 From: Vesa Karvonen Date: Fri, 21 Jul 2023 14:26:51 +0300 Subject: [PATCH] WIP: Getting MDX tests working on Windows --- README.md | 1 + dune | 1 - eio_windows.opam | 2 +- lib_eio_windows/dune | 3 ++- 4 files changed, 4 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index a32e3701d..2972ec1c5 100644 --- a/README.md +++ b/README.md @@ -754,6 +754,7 @@ Eio.Io Net Connection_failure Refused Unix_error (Connection refused, "connect", If we ran this using another backend, the `Unix_error` part might change. To avoid this problem, you can use `Eio.Exn.Backend.show` to hide the backend-specific part of errors: + ```ocaml # Eio.Exn.Backend.show := false;; - : unit = () diff --git a/dune b/dune index e3e6643d1..60c8c18b0 100644 --- a/dune +++ b/dune @@ -2,5 +2,4 @@ (package eio_main) (deps (package eio_main) (env_var "EIO_BACKEND")) (preludes doc/prelude.ml) - (enabled_if (<> %{os_type} "Win32")) (files README.md)) diff --git a/eio_windows.opam b/eio_windows.opam index e5b8b4a2d..62bf0628a 100644 --- a/eio_windows.opam +++ b/eio_windows.opam @@ -30,4 +30,4 @@ build: [ ] ] dev-repo: "git+https://github.com/ocaml-multicore/eio.git" -#available: [os-family = "windows"] +#available: [os = "win32"] diff --git a/lib_eio_windows/dune b/lib_eio_windows/dune index cb4d98b69..879134229 100644 --- a/lib_eio_windows/dune +++ b/lib_eio_windows/dune @@ -1,12 +1,13 @@ (library (name eio_windows) (public_name eio_windows) - (library_flags :standard -ccopt -lbcrypt -ccopt -lntdll) + (library_flags :standard -cclib -lbcrypt -cclib -lntdll) (enabled_if (= %{os_type} "Win32")) (foreign_stubs (language c) (include_dirs ../lib_eio/unix/include) (names eio_windows_stubs eio_windows_cstruct_stubs)) + (c_library_flags :standard -lbcrypt -lntdll) (libraries eio eio.unix eio.utils fmt)) (rule