tjh.dev
1{
2 lib,
3 buildDunePackage,
4 ocaml,
5 saturn_lockfree,
6 domain_shims,
7 dscheck,
8 multicore-bench,
9 qcheck,
10 qcheck-alcotest,
11 qcheck-stm,
12}:
13
14buildDunePackage {
15 pname = "saturn";
16
17 inherit (saturn_lockfree) src version;
18
19 propagatedBuildInputs = [ saturn_lockfree ];
20
21 doCheck = lib.versionAtLeast ocaml.version "5.0";
22 checkInputs = [
23 domain_shims
24 dscheck
25 multicore-bench
26 qcheck
27 qcheck-alcotest
28 qcheck-stm
29 ];
30
31 meta = saturn_lockfree.meta // {
32 description = "Parallelism-safe data structures for multicore OCaml";
33 };
34
35}