aboutsummaryrefslogtreecommitdiff
path: root/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/default.nix')
-rw-r--r--infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/default.nix25
1 files changed, 25 insertions, 0 deletions
diff --git a/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/default.nix b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/default.nix
new file mode 100644
index 000000000000..9a4d3f21cb87
--- /dev/null
+++ b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/default.nix
@@ -0,0 +1,25 @@
+{ lib, buildDunePackage, ocaml
+, functoria, mirage-runtime
+}:
+
+buildDunePackage rec {
+ pname = "mirage";
+ inherit (mirage-runtime) version src;
+
+ useDune2 = true;
+
+ outputs = [ "out" "dev" ];
+
+ propagatedBuildInputs = [ functoria mirage-runtime ];
+
+ installPhase = ''
+ runHook preInstall
+ dune install --prefix=$out --libdir=$dev/lib/ocaml/${ocaml.version}/site-lib/ ${pname}
+ runHook postInstall
+ '';
+
+ meta = mirage-runtime.meta // {
+ description = "The MirageOS library operating system";
+ };
+
+}