tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 buildDunePackage,
4 fetchurl,
5 cstruct,
6 lwt,
7 shared-memory-ring-lwt,
8 xenstore,
9 lwt-dllist,
10 mirage-profile,
11 mirage-runtime,
12 logs,
13 fmt,
14 bheap,
15 duration,
16 io-page,
17}:
18
19buildDunePackage rec {
20 pname = "mirage-xen";
21 version = "8.0.1";
22
23 src = fetchurl {
24 url = "https://github.com/mirage/mirage-xen/releases/download/v${version}/mirage-xen-${version}.tbz";
25 hash = "sha256-x8i2Kbz0EcifZK/lbDIFa9Kwtl1/xzbYV9h9E+EtGP4=";
26 };
27
28 minimalOCamlVersion = "4.08";
29 duneVersion = "3";
30
31 propagatedBuildInputs = [
32 cstruct
33 lwt
34 shared-memory-ring-lwt
35 xenstore
36 lwt-dllist
37 mirage-profile
38 mirage-runtime
39 io-page
40 logs
41 fmt
42 bheap
43 duration
44 ];
45
46 meta = {
47 description = "Xen core platform libraries for MirageOS";
48 license = lib.licenses.isc;
49 maintainers = [ lib.maintainers.sternenseemann ];
50 homepage = "https://github.com/mirage/mirage-xen";
51 };
52}