diff options
Diffstat (limited to 'infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage')
4 files changed, 62 insertions, 3 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"; + }; + +} diff --git a/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/runtime.nix b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/runtime.nix index 816e85d3c9ac..50121ad62802 100644 --- a/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/runtime.nix +++ b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/runtime.nix @@ -3,13 +3,15 @@ buildDunePackage rec { pname = "mirage-runtime"; - version = "3.8.1"; + version = "3.10.1"; - minimumOCamlVersion = "4.06"; + useDune2 = true; + + minimumOCamlVersion = "4.08"; src = fetchurl { url = "https://github.com/mirage/mirage/releases/download/v${version}/mirage-v${version}.tbz"; - sha256 = "1sx9df041jb2rdrsibybifhml6h6kpzw9d2bw6vvv0ml500070ww"; + sha256 = "1glmsz2znhfkk4w6d6nsr7q5jqvivhmi8zwagzw2d8pah0c8bhm4"; }; propagatedBuildInputs = [ ipaddr functoria-runtime fmt logs ocaml_lwt ]; diff --git a/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/types-lwt.nix b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/types-lwt.nix new file mode 100644 index 000000000000..ac232b0be6e1 --- /dev/null +++ b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/types-lwt.nix @@ -0,0 +1,13 @@ +{ lib, buildDunePackage, mirage-types +}: + +buildDunePackage { + pname = "mirage-types-lwt"; + inherit (mirage-types) version src useDune2; + + propagatedBuildInputs = [ mirage-types ]; + + meta = mirage-types.meta // { + description = "Lwt module type definitions for MirageOS applications"; + }; +} diff --git a/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/types.nix b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/types.nix new file mode 100644 index 000000000000..f30a9e263bbc --- /dev/null +++ b/infra/libkookie/nixpkgs/pkgs/development/ocaml-modules/mirage/types.nix @@ -0,0 +1,19 @@ +{ lib, buildDunePackage, mirage +, mirage-block, mirage-channel, mirage-clock, mirage-console, mirage-device +, mirage-flow, mirage-fs, mirage-kv, mirage-net, mirage-protocols, mirage-random +, mirage-stack, mirage-time +}: + +buildDunePackage { + pname = "mirage-types"; + inherit (mirage) src version useDune2; + + propagatedBuildInputs = [ mirage-block mirage-channel mirage-clock + mirage-console mirage-device mirage-flow mirage-fs mirage-kv mirage-net + mirage-protocols mirage-random mirage-stack mirage-time + ]; + + meta = mirage.meta // { + description = "Module type definitions for MirageOS applications"; + }; +} |