about summary refs log tree commit diff
path: root/nixpkgs/pkgs/development/ocaml-modules/saturn/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/saturn/default.nix')
-rw-r--r--nixpkgs/pkgs/development/ocaml-modules/saturn/default.nix21
1 files changed, 21 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/saturn/default.nix b/nixpkgs/pkgs/development/ocaml-modules/saturn/default.nix
new file mode 100644
index 000000000000..855935aff672
--- /dev/null
+++ b/nixpkgs/pkgs/development/ocaml-modules/saturn/default.nix
@@ -0,0 +1,21 @@
+{ lib, fetchurl, buildDunePackage, ocaml
+, saturn_lockfree
+, dscheck
+, qcheck, qcheck-alcotest, qcheck-stm
+}:
+
+buildDunePackage rec {
+  pname = "saturn";
+
+  inherit (saturn_lockfree) src version;
+
+  propagatedBuildInputs = [ saturn_lockfree ];
+
+  doCheck = lib.versionAtLeast ocaml.version "5.0";
+  checkInputs = [ dscheck qcheck qcheck-alcotest qcheck-stm ];
+
+  meta = saturn_lockfree.meta // {
+    description = "Parallelism-safe data structures for multicore OCaml";
+  };
+
+}