diff --git a/pkgs/development/ocaml-modules/domainslib/default.nix b/pkgs/development/ocaml-modules/domainslib/default.nix index 8a36285fe697..096ba5434996 100644 --- a/pkgs/development/ocaml-modules/domainslib/default.nix +++ b/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"; diff --git a/pkgs/development/ocaml-modules/lockfree/default.nix b/pkgs/development/ocaml-modules/lockfree/default.nix deleted file mode 100644 index c3400d4583e0..000000000000 --- a/pkgs/development/ocaml-modules/lockfree/default.nix +++ /dev/null @@ -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 ]; - }; -} diff --git a/pkgs/development/ocaml-modules/saturn/default.nix b/pkgs/development/ocaml-modules/saturn/default.nix new file mode 100644 index 000000000000..855935aff672 --- /dev/null +++ b/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"; + }; + +} diff --git a/pkgs/development/ocaml-modules/saturn/lockfree.nix b/pkgs/development/ocaml-modules/saturn/lockfree.nix new file mode 100644 index 000000000000..42858626e58d --- /dev/null +++ b/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 ]; + }; +} diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 4be304dd02e6..baed90f9936c 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/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 {