From 342843b7f571967f780a648ec1d68f54f3087f9b Mon Sep 17 00:00:00 2001
From: Vesa Karvonen <vesa.a.j.k@gmail.com>
Date: Fri, 20 Dec 2024 11:27:13 +0200
Subject: [PATCH] Dependencies

---
 doc/dune     | 8 ++++++--
 dune-project | 4 ++++
 kcas.opam    | 1 +
 3 files changed, 11 insertions(+), 2 deletions(-)

diff --git a/doc/dune b/doc/dune
index 92458f36..238efb2a 100644
--- a/doc/dune
+++ b/doc/dune
@@ -4,8 +4,12 @@
   (package kcas)
   (package kcas_data))
  (enabled_if
-  (>= %{ocaml_version} 5.0.0))
+  (<= 5.0.0 %{ocaml_version}))
  (files gkmz-with-read-only-cmp-ops.md scheduler-interop.md))
 
 (test
- (name simplified))
+ (package kcas)
+ (name simplified)
+ (build_if
+  (<= 5.0.0 %{ocaml_version}))
+ (libraries alcotest dscheck))
diff --git a/dune-project b/dune-project
index b7572267..9bd9b541 100644
--- a/dune-project
+++ b/dune-project
@@ -48,6 +48,10 @@
    (and
     (>= 1.8.0)
     :with-test))
+  (dscheck
+   (and
+    (>= 0.5.0)
+    :with-test))
   (qcheck-core
    (and
     (>= 0.21.2)
diff --git a/kcas.opam b/kcas.opam
index acfd08ad..4eb9ec83 100644
--- a/kcas.opam
+++ b/kcas.opam
@@ -24,6 +24,7 @@ depends: [
   "multicore-magic" {>= "2.3.0"}
   "domain_shims" {>= "0.1.0" & with-test}
   "alcotest" {>= "1.8.0" & with-test}
+  "dscheck" {>= "0.5.0" & with-test}
   "qcheck-core" {>= "0.21.2" & with-test}
   "qcheck-stm" {>= "0.3" & with-test}
   "mdx" {>= "2.4.1" & with-test}