tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 buildDunePackage,
3 ocaml,
4 alcotest,
5 functoria,
6 mirage-runtime,
7 bos,
8 ipaddr,
9 astring,
10 logs,
11 stdlib-shims,
12}:
13
14buildDunePackage rec {
15 pname = "mirage";
16 inherit (mirage-runtime) version src;
17
18 minimalOCamlVersion = "4.08";
19
20 outputs = [
21 "out"
22 "dev"
23 ];
24
25 propagatedBuildInputs = [
26 ipaddr
27 functoria
28 mirage-runtime
29 bos
30 astring
31 logs
32 stdlib-shims
33 ];
34
35 # Tests need opam-monorepo
36 doCheck = false;
37 checkInputs = [
38 alcotest
39 ];
40
41 installPhase = ''
42 runHook preInstall
43 dune install --prefix=$out --libdir=$dev/lib/ocaml/${ocaml.version}/site-lib/ ${pname}
44 runHook postInstall
45 '';
46
47 meta = mirage-runtime.meta // {
48 description = "MirageOS library operating system";
49 };
50}