blob: 6489a4d2566b6b54c9ea2538c6aaa34e55a065cd (
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 src;
buildInputs = [ dune-configurator ];
propagatedBuildInputs = [ mirage-clock ];
meta = mirage-clock.meta // {
description = "Unix-based implementation for the MirageOS Clock interface";
};
}
|