parent
0698166a6f
commit
83820fe6db
@ -0,0 +1,23 @@ |
||||
{ 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"; |
||||
}; |
||||
} |
Loading…
Reference in new issue