From c71552a5626597fd2978564b79aa27f3f5abdcaf Mon Sep 17 00:00:00 2001 From: raingloom Date: Wed, 15 Feb 2023 22:59:59 +0100 Subject: gnu: Add ocaml-mirage. * gnu/packages/ocaml.scm (ocaml-mirage): New variable. Signed-off-by: Christopher Baines --- gnu/packages/ocaml.scm | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) (limited to 'gnu/packages/ocaml.scm') diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index 8c189fab07..892a247883 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3752,6 +3752,30 @@ how to apply them in order to produce a complete application. The main use case is mirage.") (license license:isc))) +(define-public ocaml-mirage + (package + (inherit ocaml-functoria-runtime) + (name "ocaml-mirage") + (build-system dune-build-system) + (arguments + '(#:package "mirage" + ;; TODO again, wants opam, other tests seem to pass + ;; look for a way to disable tests that want network access + #:tests? #f)) + (propagated-inputs + (list ocaml-astring ocaml-bos ocaml-functoria ocaml-ipaddr ocaml-logs + ocaml-mirage-runtime ocaml-opam-monorepo)) + (native-inputs (list ocaml-alcotest ocaml-fmt)) + (home-page "https://github.com/mirage/mirage") + (synopsis + "The MirageOS library operating system") + (description + "Library operating system that constructs unikernels for secure, +high-performance network applications across a variety of cloud computing and +mobile platforms. Code can be developed on a normal OS and then compiled into +a fully-standalone, specialised unikernel.") + (license license:isc))) + (define-public ocaml-ocurl (package (name "ocaml-ocurl") -- cgit v1.2.3