From a4dc111944b8cc7f4455be76b701954a2c167dd7 Mon Sep 17 00:00:00 2001
From: Vesa Karvonen <vesa.a.j.k@gmail.com>
Date: Sat, 18 Nov 2023 11:36:55 +0200
Subject: [PATCH] Add missing alcotest with-test dependency

---
 dune-project         | 2 ++
 saturn.opam          | 1 +
 saturn_lockfree.opam | 1 +
 3 files changed, 4 insertions(+)

diff --git a/dune-project b/dune-project
index 4805fbb8..70214b4d 100644
--- a/dune-project
+++ b/dune-project
@@ -13,6 +13,7 @@
   (ocaml (>= 4.12))
   (domain_shims (>= 0.1.0))
   (saturn_lockfree (= :version))
+  (alcotest (and (>= 1.7.0) :with-test))
   (qcheck (and (>= 0.18.1) :with-test))
   (qcheck-stm (and (>= 0.2) :with-test))
   (qcheck-alcotest (and (>= 0.18.1) :with-test))
@@ -24,6 +25,7 @@
  (depends
   (ocaml (>= 4.12))
   (domain_shims (>= 0.1.0))
+  (alcotest (and (>= 1.7.0) :with-test))
   (qcheck (and (>= 0.18.1) :with-test))
   (qcheck-stm (and (>= 0.2) :with-test))
   (qcheck-alcotest (and (>= 0.18.1) :with-test))
diff --git a/saturn.opam b/saturn.opam
index 20dbb25b..8109190d 100644
--- a/saturn.opam
+++ b/saturn.opam
@@ -13,6 +13,7 @@ depends: [
   "ocaml" {>= "4.12"}
   "domain_shims" {>= "0.1.0"}
   "saturn_lockfree" {= version}
+  "alcotest" {>= "1.7.0" & with-test}
   "qcheck" {>= "0.18.1" & with-test}
   "qcheck-stm" {>= "0.2" & with-test}
   "qcheck-alcotest" {>= "0.18.1" & with-test}
diff --git a/saturn_lockfree.opam b/saturn_lockfree.opam
index b5c2d30f..c95e318d 100644
--- a/saturn_lockfree.opam
+++ b/saturn_lockfree.opam
@@ -11,6 +11,7 @@ depends: [
   "dune" {>= "3.2"}
   "ocaml" {>= "4.12"}
   "domain_shims" {>= "0.1.0"}
+  "alcotest" {>= "1.7.0" & with-test}
   "qcheck" {>= "0.18.1" & with-test}
   "qcheck-stm" {>= "0.2" & with-test}
   "qcheck-alcotest" {>= "0.18.1" & with-test}