ocamlPackages.saturn: 0.3.0 (lockfree) → 0.4.0

ocamlPackages.domainslib: 0.5.0 → 0.5.1

pkgs/development/ocaml-modules/domainslib/default.nix

@@ -1,26 +1,28 @@
 { lib
 , fetchurl
 , buildDunePackage
-, lockfree
+, saturn
+, domain-local-await
+, kcas
 , mirage-clock-unix
+, qcheck-stm
 }:
 
 buildDunePackage rec {
   pname = "domainslib";
-  version = "0.5.0";
+  version = "0.5.1";
 
-  duneVersion = "3";
   minimalOCamlVersion = "5.0";
 
   src = fetchurl {
-    url = "https://github.com/ocaml-multicore/domainslib/releases/download/v${version}/domainslib-${version}.tbz";
-    hash = "sha256-rty+9DUhTUEcN7BPl8G6Q/G/MJ6z/UAn0RPkG8hACwA=";
+    url = "https://github.com/ocaml-multicore/domainslib/releases/download/${version}/domainslib-${version}.tbz";
+    hash = "sha256-KMJd+6XZmUSXNsXW/KXgvnFtgY9vODeW3vhL77mDXQE=";
   };
 
-  propagatedBuildInputs = [ lockfree ];
+  propagatedBuildInputs = [ domain-local-await saturn ];
 
   doCheck = true;
-  checkInputs = [ mirage-clock-unix ];
+  checkInputs = [ kcas mirage-clock-unix qcheck-stm ];
 
   meta = {
     homepage = "https://github.com/ocaml-multicore/domainslib";

pkgs/development/ocaml-modules/lockfree/default.nix

@@ -1,29 +0,0 @@
-{ lib, fetchurl, buildDunePackage
-, dscheck
-, qcheck, qcheck-alcotest
-}:
-
-buildDunePackage rec {
-  pname = "lockfree";
-  version = "0.3.0";
-
-  minimalOCamlVersion = "5.0";
-  duneVersion = "3";
-
-  src = fetchurl {
-    url = "https://github.com/ocaml-multicore/lockfree/releases/download/${version}/lockfree-${version}.tbz";
-    hash = "sha256-XdJR5ojFsA7bJ4aZ5rh10NjopE0NjfqQ9KitOLMh3Jo=";
-  };
-
-  propagatedBuildInputs = [ dscheck ];
-
-  doCheck = true;
-  checkInputs = [ qcheck qcheck-alcotest ];
-
-  meta = {
-    description = "Lock-free data structures for multicore OCaml";
-    homepage = "https://github.com/ocaml-multicore/lockfree";
-    license = lib.licenses.isc;
-    maintainers = [ lib.maintainers.vbgl ];
-  };
-}

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";
+  };
+
+}

pkgs/development/ocaml-modules/saturn/lockfree.nix

@@ -0,0 +1,24 @@
+{ lib, fetchurl, buildDunePackage
+, domain_shims
+}:
+
+buildDunePackage rec {
+  pname = "saturn_lockfree";
+  version = "0.4.0";
+
+  minimalOCamlVersion = "4.12";
+
+  src = fetchurl {
+    url = "https://github.com/ocaml-multicore/saturn/releases/download/${version}/saturn-${version}.tbz";
+    hash = "sha256-fHvslaJwVbQaqDVA/MHGqHybetYbxRGlMrhgXqM3iPs=";
+  };
+
+  propagatedBuildInputs = [ domain_shims ];
+
+  meta = {
+    description = "Lock-free data structures for multicore OCaml";
+    homepage = "https://github.com/ocaml-multicore/lockfree";
+    license = lib.licenses.isc;
+    maintainers = [ lib.maintainers.vbgl ];
+  };
+}

pkgs/top-level/ocaml-packages.nix

@@ -876,8 +876,6 @@ let
 
     lo = callPackage ../development/ocaml-modules/lo { };
 
-    lockfree = callPackage ../development/ocaml-modules/lockfree { };
-
     logs = callPackage ../development/ocaml-modules/logs { };
 
     lru = callPackage ../development/ocaml-modules/lru { };
@@ -1539,6 +1537,10 @@ let
 
     samplerate = callPackage ../development/ocaml-modules/samplerate { };
 
+    saturn = callPackage ../development/ocaml-modules/saturn { };
+
+    saturn_lockfree = callPackage ../development/ocaml-modules/saturn/lockfree.nix { };
+
     sawja = callPackage ../development/ocaml-modules/sawja { };
 
     secp256k1 = callPackage ../development/ocaml-modules/secp256k1 {