dscheck deps.

ocaml-multicore · Jul 4, 2024 · 36b8f5c · 36b8f5c
1 parent 49474cd
commit 36b8f5c
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 6 deletions.
diff --git a/dune-project b/dune-project
@@ -51,4 +51,5 @@
    (>= 4.12.0))
   ;; Test dependencies
   (multicore-magic
-   (>= 2.2.0))))
+   (>= 2.2.0))
+   (dscheck (= dev))))
diff --git a/multicore-magic-dscheck.opam b/multicore-magic-dscheck.opam
@@ -1,7 +1,7 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 synopsis:
-  "A implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic."
+  "A implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic"
 maintainer: ["Vesa Karvonen <[email protected]>"]
 authors: ["Vesa Karvonen <[email protected]>"]
 license: "ISC"
@@ -11,6 +11,7 @@ depends: [
   "dune" {>= "3.14"}
   "ocaml" {>= "4.12.0"}
   "multicore-magic" {>= "2.2.0"}
+  "dscheck" {= "dev"}
   "odoc" {with-doc}
 ]
 build: [
@@ -30,6 +31,6 @@ build: [
 dev-repo: "git+https://github.com/ocaml-multicore/multicore-magic.git"
 pin-depends:
   [
-  "dscheck.~dev"
-  "git+https://github.com/lyrm/dscheck.git#make_contended"
+  "dscheck.dev"
+  "git+https://github.com/lyrm/dscheck.git#d325890d36267dc0d4d76cbd38860ee67cee731e"
   ]
diff --git a/multicore-magic-dscheck.opam.template b/multicore-magic-dscheck.opam.template
@@ -1,5 +1,5 @@
 pin-depends:
   [
-  "dscheck.~dev"
-  "git+https://github.com/lyrm/dscheck.git#make_contended"
+  "dscheck.dev"
+  "git+https://github.com/lyrm/dscheck.git#d325890d36267dc0d4d76cbd38860ee67cee731e"
   ]