2020-11-03 02:18:15 +00:00
|
|
|
{ lib, fetchurl, buildDunePackage
|
2022-03-30 09:31:56 +00:00
|
|
|
, ppx_cstruct, stdlib-shims
|
2020-11-03 02:18:15 +00:00
|
|
|
, cstruct, lwt
|
|
|
|
}:
|
|
|
|
|
|
|
|
buildDunePackage rec {
|
|
|
|
pname = "mirage-profile";
|
|
|
|
version = "0.9.1";
|
|
|
|
|
2023-03-24 00:07:29 +00:00
|
|
|
duneVersion = "3";
|
2020-11-03 02:18:15 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "https://github.com/mirage/mirage-profile/releases/download/v${version}/mirage-profile-v${version}.tbz";
|
|
|
|
sha256 = "0lh3591ad4v7nxpd410b75idmgdq668mqdilvkg4avrwqw1wzdib";
|
|
|
|
};
|
|
|
|
|
|
|
|
buildInputs = [ ppx_cstruct ];
|
2022-03-30 09:31:56 +00:00
|
|
|
propagatedBuildInputs = [ cstruct lwt stdlib-shims ];
|
2020-11-03 02:18:15 +00:00
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
description = "Collect runtime profiling information in CTF format";
|
|
|
|
homepage = "https://github.com/mirage/mirage-profile";
|
|
|
|
license = licenses.bsd2;
|
|
|
|
maintainers = with maintainers; [ vbgl ];
|
|
|
|
};
|
|
|
|
}
|