tjh.dev
Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1{ lib, fetchurl, buildDunePackage
2, containers
3, oseq
4}:
5
6buildDunePackage rec {
7 pname = "dscheck";
8 version = "0.1.0";
9
10 minimalOCamlVersion = "5.0";
11 duneVersion = "3";
12
13 src = fetchurl {
14 url = "https://github.com/ocaml-multicore/dscheck/releases/download/${version}/dscheck-${version}.tbz";
15 hash = "sha256-zoouFZJcUp71yeluVb1xLUIMcFv99OpkcQQCHkPTKcI=";
16 };
17
18 propagatedBuildInputs = [ containers oseq ];
19
20 doCheck = true;
21
22 meta = {
23 description = "Traced atomics";
24 homepage = "https://github.com/ocaml-multicore/dscheck";
25 license = lib.licenses.isc;
26 maintainers = [ lib.maintainers.vbgl ];
27 };
28}