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