Commit e2b24c1d authored by toastal's avatar toastal Committed by Vincent Laporte
Browse files

ocamlPackages.saturn: 0.5.0 → 1.0.0

Seems versions have diverged from saturn_lockfree
parent 373d3e93
Loading
Loading
Loading
Loading
+27 −7
Original line number Diff line number Diff line
{
  lib,
  buildDunePackage,
  fetchurl,
  ocaml,
  saturn_lockfree,
  version ? "1.0.0",
  buildDunePackage,
  backoff,
  domain_shims,
  dscheck,
  mdx,
  multicore-bench,
  multicore-magic,
  multicore-magic-dscheck,
  qcheck,
  qcheck-alcotest,
  qcheck-stm,
}:

buildDunePackage {
  inherit version;

  pname = "saturn";

  inherit (saturn_lockfree) src version;
  minimalOCamlVersion = "4.14";

  propagatedBuildInputs = [ saturn_lockfree ];
  src = fetchurl {
    url = "https://github.com/ocaml-multicore/saturn/releases/download/${version}/saturn-${version}.tbz";
    sha512 = "925104a4293326d345701e80932ace2b5d2da02ca6406271d33cd54f9e9c6583f35b060bc42c640357c98669f5bc42e8447dbd21614ae02ce5b5efaa8f04a132";
  };

  doCheck = lib.versionAtLeast ocaml.version "5.0";
  propagatedBuildInputs = [
    backoff
    multicore-magic
  ];

  doCheck = lib.versionAtLeast ocaml.version "5.2";
  checkInputs = [
    domain_shims
    dscheck
    mdx
    multicore-bench
    multicore-magic-dscheck
    qcheck
    qcheck-alcotest
    qcheck-stm
  ];
  nativeCheckInputs = [ mdx.bin ];

  meta = saturn_lockfree.meta // {
  meta = {
    description = "Parallelism-safe data structures for multicore OCaml";
    homepage = "https://github.com/ocaml-multicore/lockfree";
    license = lib.licenses.isc;
    maintainers = [ lib.maintainers.vbgl ];
  };

}