75ca762b89
GitOrigin-RevId: 29b0d4d0b600f8f5dd0b86e3362a33d4181938f9
15 lines
359 B
Nix
15 lines
359 B
Nix
{ 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";
|
|
};
|
|
}
|