From f32199f2c8662bc5800655eb67d1b49b6c8fb872 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 13 Mar 2026 14:45:17 -0400 Subject: [PATCH] more robust dune rule --- src/client/lwt/dune | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/client/lwt/dune b/src/client/lwt/dune index 0106cc8e..be9e6d1c 100644 --- a/src/client/lwt/dune +++ b/src/client/lwt/dune @@ -28,12 +28,16 @@ (rule (enabled_if - (>= %{version:lwt} 6.0)) + (and + %{lib-available:lwt} + (>= %{version:lwt} 6.0))) (action (copy types_.ml.6 types_.ml))) (rule (enabled_if - (< %{version:lwt} 6.0)) + (and + %{lib-available:lwt} + (< %{version:lwt} 6.0))) (action (copy types_.ml.5 types_.ml)))