diff options
-rw-r--r-- | pkgs/development/ocaml-modules/mirage-device/default.nix | 22 | ||||
-rw-r--r-- | pkgs/top-level/ocaml-packages.nix | 2 |
2 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/mirage-device/default.nix b/pkgs/development/ocaml-modules/mirage-device/default.nix new file mode 100644 index 00000000000..d86d133dedb --- /dev/null +++ b/pkgs/development/ocaml-modules/mirage-device/default.nix @@ -0,0 +1,22 @@ +{ lib, buildDunePackage, fetchurl, fmt, ocaml_lwt }: + +buildDunePackage rec { + pname = "mirage-device"; + version = "2.0.0"; + + src = fetchurl { + url = "https://github.com/mirage/mirage-device/releases/download/v${version}/mirage-device-v${version}.tbz"; + sha256 = "18alxyi6wlxqvb4lajjlbdfkgcajsmklxi9xqmpcz07j51knqa04"; + }; + + propagatedBuildInputs = [ fmt ocaml_lwt ]; + + meta = { + description = "Abstract devices for MirageOS"; + homepage = "https://github.com/mirage/mirage-device"; + license = lib.licenses.isc; + maintainers = [ lib.maintainers.vbgl ]; + }; +} + + diff --git a/pkgs/top-level/ocaml-packages.nix b/pkgs/top-level/ocaml-packages.nix index 8669b2c7f20..377a8965aa4 100644 --- a/pkgs/top-level/ocaml-packages.nix +++ b/pkgs/top-level/ocaml-packages.nix @@ -536,6 +536,8 @@ let mirage-clock = callPackage ../development/ocaml-modules/mirage-clock { }; + mirage-device = callPackage ../development/ocaml-modules/mirage-device { }; + mlgmp = callPackage ../development/ocaml-modules/mlgmp { }; mlgmpidl = callPackage ../development/ocaml-modules/mlgmpidl { }; |