From 5d9111e6dbed525da8a899ceb21842811ef8a2ec Mon Sep 17 00:00:00 2001
From: Kento Okura <kentookura@gmail.com>
Date: Mon, 17 Jun 2024 14:03:43 +0200
Subject: [PATCH] add mdx to windows dune file

---
 dune-project              | 1 +
 eio_windows.opam          | 1 +
 lib_eio_windows/test/dune | 5 +++++
 3 files changed, 7 insertions(+)

diff --git a/dune-project b/dune-project
index 0a291c02e..b38474de1 100644
--- a/dune-project
+++ b/dune-project
@@ -58,6 +58,7 @@
   (eio (= :version))
   (fmt (>= 0.8.9))
   (kcas (and (>= 0.3.0) :with-test))
+  (mdx (and (>= 2.4.1) :with-test))
   (alcotest (and (>= 1.7.0) :with-test))))
 (package
  (name eio_main)
diff --git a/eio_windows.opam b/eio_windows.opam
index b24efa546..4f7fa8358 100644
--- a/eio_windows.opam
+++ b/eio_windows.opam
@@ -13,6 +13,7 @@ depends: [
   "eio" {= version}
   "fmt" {>= "0.8.9"}
   "kcas" {>= "0.3.0" & with-test}
+  "mdx" {>= "2.4.1" & with-test}
   "alcotest" {>= "1.7.0" & with-test}
   "odoc" {with-doc}
 ]
diff --git a/lib_eio_windows/test/dune b/lib_eio_windows/test/dune
index 440913208..ebeeb29c7 100755
--- a/lib_eio_windows/test/dune
+++ b/lib_eio_windows/test/dune
@@ -1,3 +1,8 @@
+(mdx
+  (package eio_windows)
+  (enabled_if (= %{os_type} "Win32"))
+  (deps (package eio_windows)))
+
 (test
   (name test)
   (package eio_windows)