mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-28 16:43:58 +00:00
24 lines
362 B
Nix
24 lines
362 B
Nix
|
{ lib
|
||
|
, buildDunePackage
|
||
|
, mirage-clock
|
||
|
}:
|
||
|
|
||
|
buildDunePackage {
|
||
|
pname = "mirage-clock-freestanding";
|
||
|
|
||
|
inherit (mirage-clock)
|
||
|
version
|
||
|
src
|
||
|
useDune2
|
||
|
minimumOCamlVersion
|
||
|
;
|
||
|
|
||
|
propagatedBuildInputs = [
|
||
|
mirage-clock
|
||
|
];
|
||
|
|
||
|
meta = mirage-clock.meta // {
|
||
|
description = "Paravirtual implementation of the MirageOS Clock interface";
|
||
|
};
|
||
|
}
|