From 2b6387e388e08704c0c1b1507770a8f8266d7740 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 19 Jun 2023 22:27:39 -0400 Subject: [PATCH] mdx for 5.0 only --- dune | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/dune b/dune index 0ac574ef..6ea92b3a 100644 --- a/dune +++ b/dune @@ -2,4 +2,5 @@ (env (_ (flags :standard -strict-sequence -warn-error -a+8 -w +a-4-40-42-70))) -(mdx (libraries moonpool)) +(mdx (libraries moonpool) + (enabled_if (>= %{ocaml_version} 5.0)))