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