tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 fetchurl,
4 buildDunePackage,
5 cmdliner,
6 ipaddr,
7 logs,
8 lwt,
9 alcotest,
10}:
11
12buildDunePackage (finalAttrs: {
13 pname = "mirage-runtime";
14 version = "4.10.1";
15 src = fetchurl {
16 url = "https://github.com/mirage/mirage/releases/download/v${finalAttrs.version}/mirage-${finalAttrs.version}.tbz";
17 hash = "sha256:1155b5e9a585d3b44dfdd72777d94a7222b0f88a1737593bfb1f09954b6fb914";
18 };
19
20 minimalOCamlVersion = "4.08";
21
22 propagatedBuildInputs = [
23 cmdliner
24 ipaddr
25 logs
26 lwt
27 ];
28 checkInputs = [ alcotest ];
29 doCheck = true;
30
31 meta = {
32 homepage = "https://github.com/mirage/mirage";
33 description = "Base MirageOS runtime library, part of every MirageOS unikernel";
34 license = lib.licenses.isc;
35 maintainers = with lib.maintainers; [ sternenseemann ];
36 };
37})