From b25fec98d5c0fcadf3520b80b5fa9ec4b91779af Mon Sep 17 00:00:00 2001 From: Carine Morel Date: Thu, 4 Jul 2024 10:54:51 +0200 Subject: [PATCH] Make it work with ocaml < 5.0 --- dune-project | 4 +++- src/dscheck/dune | 4 +++- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/dune-project b/dune-project index 7b64a9a..4070162 100644 --- a/dune-project +++ b/dune-project @@ -46,10 +46,12 @@ (name multicore-magic-dscheck) (synopsis "A implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic") + (allow_empty) (depends (ocaml (>= 4.12.0)) ;; Test dependencies (multicore-magic (>= 2.2.0)) - (dscheck (= dev)))) + (dscheck + (= dev)))) diff --git a/src/dscheck/dune b/src/dscheck/dune index 86455e9..ca2144d 100644 --- a/src/dscheck/dune +++ b/src/dscheck/dune @@ -1,4 +1,6 @@ (library (name multicore_magic_dscheck) (public_name multicore-magic-dscheck) - (libraries multicore-magic dscheck)) + (libraries multicore-magic dscheck) + (enabled_if + (>= %{ocaml_version} 5)))