more robust dune rule

This commit is contained in:
Simon Cruanes 2026-03-13 14:45:17 -04:00
parent ad4e889a95
commit f32199f2c8
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -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)))