tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{ lib, buildDunePackage, ocaml
2, saturn_lockfree
3, dscheck
4, qcheck, qcheck-alcotest, qcheck-stm
5}:
6
7buildDunePackage rec {
8 pname = "saturn";
9
10 inherit (saturn_lockfree) src version;
11
12 propagatedBuildInputs = [ saturn_lockfree ];
13
14 doCheck = lib.versionAtLeast ocaml.version "5.0";
15 checkInputs = [ dscheck qcheck qcheck-alcotest qcheck-stm ];
16
17 meta = saturn_lockfree.meta // {
18 description = "Parallelism-safe data structures for multicore OCaml";
19 };
20
21}