2022-09-15 15:32:23 +01:00
|
|
|
{ lib, buildDunePackage, fetchurl, lwt, duration, mirage-runtime }:
|
2020-05-20 23:56:00 +01:00
|
|
|
|
|
|
|
buildDunePackage rec {
|
|
|
|
pname = "mirage-unix";
|
2022-09-15 15:32:23 +01:00
|
|
|
version = "5.0.1";
|
2020-11-06 20:55:11 +00:00
|
|
|
|
2023-03-10 19:51:22 +00:00
|
|
|
duneVersion = "3";
|
|
|
|
|
2020-05-20 23:56:00 +01:00
|
|
|
src = fetchurl {
|
2022-09-13 13:14:19 +01:00
|
|
|
url = "https://github.com/mirage/${pname}/releases/download/v${version}/${pname}-${version}.tbz";
|
2023-03-10 19:51:22 +00:00
|
|
|
hash = "sha256-U1oLznUDBcJLcVygfSiyl5qRLDM27cm/WrjT0vSGhPg=";
|
2020-05-20 23:56:00 +01:00
|
|
|
};
|
|
|
|
|
2022-09-15 15:32:23 +01:00
|
|
|
propagatedBuildInputs = [ lwt duration mirage-runtime ];
|
2020-05-20 23:56:00 +01:00
|
|
|
doCheck = true;
|
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
homepage = "https://github.com/mirage/mirage-unix";
|
|
|
|
description = "Unix core platform libraries for MirageOS";
|
|
|
|
license = licenses.isc;
|
|
|
|
maintainers = with maintainers; [ sternenseemann ];
|
|
|
|
};
|
|
|
|
}
|