blob: 355cffaaa15731bd03bdafd42885b51a27a6b1b7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
{ buildDunePackage, mirage-clock, dune-configurator }:
buildDunePackage {
pname = "mirage-clock-unix";
inherit (mirage-clock) version useDune2 src;
buildInputs = [ dune-configurator ];
propagatedBuildInputs = [ mirage-clock ];
meta = mirage-clock.meta // {
description = "Unix-based implementation for the MirageOS Clock interface";
};
}
|