2020-12-29 21:45:42 +00:00
|
|
|
{ lib, buildDunePackage, alcotest
|
|
|
|
, functoria, mirage-runtime, bos
|
|
|
|
, ipaddr, astring, logs, stdlib-shims
|
2020-11-06 20:55:22 +00:00
|
|
|
}:
|
|
|
|
|
|
|
|
buildDunePackage rec {
|
|
|
|
pname = "mirage";
|
|
|
|
inherit (mirage-runtime) version src;
|
|
|
|
|
2020-12-29 21:45:42 +00:00
|
|
|
minimumOCamlVersion = "4.08";
|
|
|
|
|
2020-11-06 20:55:22 +00:00
|
|
|
useDune2 = true;
|
|
|
|
|
|
|
|
outputs = [ "out" "dev" ];
|
|
|
|
|
2020-12-29 21:45:42 +00:00
|
|
|
propagatedBuildInputs = [
|
|
|
|
ipaddr
|
|
|
|
functoria
|
|
|
|
mirage-runtime
|
|
|
|
bos
|
|
|
|
astring
|
|
|
|
logs
|
|
|
|
stdlib-shims
|
|
|
|
];
|
2020-11-06 20:55:22 +00:00
|
|
|
|
2020-12-29 21:45:42 +00:00
|
|
|
doCheck = true;
|
|
|
|
checkInputs = [
|
|
|
|
alcotest
|
|
|
|
];
|
2020-11-06 20:55:22 +00:00
|
|
|
|
|
|
|
meta = mirage-runtime.meta // {
|
|
|
|
description = "The MirageOS library operating system";
|
|
|
|
};
|
|
|
|
}
|