diff options
| author | raingloom <raingloom@riseup.net> | 2023-02-15 22:59:59 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2023-02-17 15:44:54 +0000 |
| commit | c71552a5626597fd2978564b79aa27f3f5abdcaf (patch) | |
| tree | 26f4a40e244a4406af7c9665215e8381c905461e /gnu/packages/ocaml.scm | |
| parent | 1d7c1ae2b4fa9018315ef835da35351d34288af6 (diff) | |
gnu: Add ocaml-mirage.
* gnu/packages/ocaml.scm (ocaml-mirage): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 24 |
1 files changed, 24 insertions, 0 deletions
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") |