56de2bcd43
https://github.com/NixOS/nixpkgs/blob/master/pkgs/stdenv/generic/setup.sh#L948 this can do it nicely. Signed-off-by: Anton Arapov <anton@deadbeef.mx>
23 lines
362 B
Nix
23 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";
|
|
};
|
|
}
|