Maybe a solution with the -open dune flags ?.

ocaml-multicore · Jul 2, 2024 · 1bf5f4e · 1bf5f4e
1 parent 279cd6f
commit 1bf5f4e
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -45,7 +45,7 @@
 (package
  (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.")
+  "A implementation of multicore-magic API using the atomic module of DScheck to make DScheck tests possible in libraries using multicore-magic")
  (depends
   (ocaml
    (>= 4.12.0))

diff --git a/multicore-magic-dscheck.opam b/multicore-magic-dscheck.opam
@@ -1,6 +1,7 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "Low-level multiscore utilities for OCaml"
+synopsis:
+  "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"

diff --git a/src/dscheck/multicore_magic_dscheck.ml → src/dscheck/multicore_magic.ml b/src/dscheck/multicore_magic_dscheck.ml → src/dscheck/multicore_magic.ml
diff --git a/src/dscheck/multicore_magic_dscheck.mli → src/dscheck/multicore_magic.mli b/src/dscheck/multicore_magic_dscheck.mli → src/dscheck/multicore_magic.mli