From 6d8b3d47837620d36319045c5071792d1219d107 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 20 Nov 2023 22:47:16 +0100 Subject: [PATCH] [new release] mirage, mirage-runtime, functoria and functoria-runtime (4.4.1) CHANGES: - Document exit codes in `--help` (mirage/mirage#1485 @hannesm) - Avoid dependency on environment variable (removing MIRAGE_LOGS mirage/mirage#1484 @hannesm) - BUGFIX: dune.config mark "dist" as data-only-dir to allow config.ml being compiled (mirage/mirage#1475 @memst) - Allow git 3.14 (mirage/mirage#1474 @hannesm) - Default to best-fit allocation (mirage/mirage#1473 @hannesm) - FEATURE: Add a key "--delay" to all unikernels (mirage/mirage#1472 @hannesm, fixes mirage/mirage#1468) - Fix Unix target dune rule (add a deps) (mirage/mirage#1469 @hannesm) - Optionally pass tcp in direct_stackv4v6, static_ipv4v6, generic_stackv4v6 (mirage/mirage#1467 @hannesm) - FEATURE: Support mirage version indication in first line of config.ml: (* mirage >= 2.3.4 & < 5.0.0 *) (mirage/mirage#1466 @hannesm, fixes mirage/mirage#1381) - Use \033 instead of \e in generated Makefile (fixes the output on non-Linux systems mirage/mirage#1464 @hannesm) - Adapt to mirage-logs 2.0.0 (mirage/mirage#1460 @hannesm) - Allow version 0.8.0 of solo5 (mirage/mirage#1432 mirage/mirage#1490 @hannesm @palainp) --- .../functoria-runtime.4.4.1/opam | 40 +++++++++++++ packages/functoria/functoria.4.4.1/opam | 60 +++++++++++++++++++ .../mirage-runtime/mirage-runtime.4.4.1/opam | 44 ++++++++++++++ packages/mirage/mirage.4.4.1/opam | 55 +++++++++++++++++ 4 files changed, 199 insertions(+) create mode 100644 packages/functoria-runtime/functoria-runtime.4.4.1/opam create mode 100644 packages/functoria/functoria.4.4.1/opam create mode 100644 packages/mirage-runtime/mirage-runtime.4.4.1/opam create mode 100644 packages/mirage/mirage.4.4.1/opam diff --git a/packages/functoria-runtime/functoria-runtime.4.4.1/opam b/packages/functoria-runtime/functoria-runtime.4.4.1/opam new file mode 100644 index 000000000000..05df9d3543b1 --- /dev/null +++ b/packages/functoria-runtime/functoria-runtime.4.4.1/opam @@ -0,0 +1,40 @@ +opam-version: "2.0" +maintainer: "Gabriel Radanne " +authors: [ "Thomas Gazagnaire" + "Anil Madhavapeddy" + "Dave Scott" + "Thomas Leonard" + "Gabriel Radanne" ] +homepage: "https://github.com/mirage/mirage" +bug-reports: "https://github.com/mirage/mirage/issues" +dev-repo: "git+https://github.com/mirage/mirage.git" +doc: "https://mirage.github.io/mirage/" +license: "ISC" +tags: ["org:mirage"] + +build: [ + ["dune" "subst"] {dev} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] + +depends: [ + "ocaml" {>= "4.08.0"} + "dune" {>= "2.9.0"} + "cmdliner" {>= "1.1.1"} + "cmdliner" {with-test & >= "1.2.0"} +] + +synopsis: "Runtime support library for functoria-generated code" +description: """ +This is the runtime support library for code generated by functoria. +""" +url { + src: + "https://github.com/mirage/mirage/releases/download/v4.4.1/mirage-4.4.1.tbz" + checksum: [ + "sha256=14a09dceb44956952b096aab4e213c974d19289398b2f23d98dcc9d19c430708" + "sha512=47caff67e93f03a9b45da33edc2574a8a97c6b7fff92d2ba10afc5ed0bc8c44741a871f1db6293b0144159f98112b900be02450e8fb4b454e88d065c6417d2f1" + ] +} +x-commit-hash: "ec12b06aedc4e31115f145d049bfb656e89abc85" diff --git a/packages/functoria/functoria.4.4.1/opam b/packages/functoria/functoria.4.4.1/opam new file mode 100644 index 000000000000..78f81099d1e1 --- /dev/null +++ b/packages/functoria/functoria.4.4.1/opam @@ -0,0 +1,60 @@ +opam-version: "2.0" +maintainer: "Gabriel Radanne " +authors: [ "Thomas Gazagnaire" + "Anil Madhavapeddy" + "Dave Scott" + "Thomas Leonard" + "Gabriel Radanne" ] +homepage: "https://github.com/mirage/mirage" +bug-reports: "https://github.com/mirage/mirage/issues" +dev-repo: "git+https://github.com/mirage/mirage.git" +doc: "https://mirage.github.io/mirage/" +license: "ISC" +tags: ["org:mirage"] +available: opam-version >= "2.1.0" + +build: [ + ["dune" "subst"] {dev} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} + ["env" "INSIDE_FUNCTORIA_TESTS=1" "dune" "exec" "-p" name "-j" jobs "--" + "test/functoria/e2e/test.exe"] {with-test} +] + +depends: [ + "ocaml" {>= "4.08.0"} + "dune" {>= "2.9.0"} + "dune" {with-test & >= "3.0.0"} + "base-unix" + "cmdliner" {>= "1.1.1"} + "cmdliner" {with-test & >= "1.2.0"} + "rresult" {>= "0.7.0"} + "result" {>= "1.5"} + "astring" + "fmt" {>= "0.8.7"} + "logs" + "bos" + "fpath" + "emile" {>= "1.1"} + "uri" {>= "4.2.0"} + "alcotest" {with-test} + "functoria-runtime" {= version & with-test} + "bigstringaf" {with-test & >= "0.5.0"} +] +synopsis: "A DSL to organize functor applications" +description: """ +Functoria is a DSL to describe a set of modules and functors, their types and +how to apply them in order to produce a complete application. + +The main use case is mirage. See the [mirage](https://github.com/mirage/mirage) +repository for details. +""" +url { + src: + "https://github.com/mirage/mirage/releases/download/v4.4.1/mirage-4.4.1.tbz" + checksum: [ + "sha256=14a09dceb44956952b096aab4e213c974d19289398b2f23d98dcc9d19c430708" + "sha512=47caff67e93f03a9b45da33edc2574a8a97c6b7fff92d2ba10afc5ed0bc8c44741a871f1db6293b0144159f98112b900be02450e8fb4b454e88d065c6417d2f1" + ] +} +x-commit-hash: "ec12b06aedc4e31115f145d049bfb656e89abc85" diff --git a/packages/mirage-runtime/mirage-runtime.4.4.1/opam b/packages/mirage-runtime/mirage-runtime.4.4.1/opam new file mode 100644 index 000000000000..9db07b174115 --- /dev/null +++ b/packages/mirage-runtime/mirage-runtime.4.4.1/opam @@ -0,0 +1,44 @@ +opam-version: "2.0" +maintainer: ["anil@recoil.org" "thomas@gazagnaire.org"] +authors: ["Thomas Gazagnaire" "Anil Madhavapeddy" "Gabriel Radanne" + "Mindy Preston" "Thomas Leonard" "Nicolas Ojeda Bar" + "Dave Scott" "David Kaloper" "Hannes Mehnert" "Richard Mortier"] +homepage: "https://github.com/mirage/mirage" +bug-reports: "https://github.com/mirage/mirage/issues/" +dev-repo: "git+https://github.com/mirage/mirage.git" +license: "ISC" +tags: ["org:mirage" "org:xapi-project"] +doc: "https://mirage.github.io/mirage/" + +build: [ + ["dune" "subst"] {dev} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] + +depends: [ + "ocaml" {>= "4.08.0"} + "dune" {>= "2.9.0"} + "ipaddr" {>= "5.0.0"} + "functoria-runtime" {= version} + "logs" + "lwt" {>= "4.0.0"} + "alcotest" {with-test} +] +conflicts: [ + "result" {< "1.5"} + "ppxlib" {= "0.29.0"} #0.29.0 provides a vendored ppx_sexp_conv +] +synopsis: "The base MirageOS runtime library, part of every MirageOS unikernel" +description: """ +A bundle of useful runtime functions for applications built with MirageOS +""" +url { + src: + "https://github.com/mirage/mirage/releases/download/v4.4.1/mirage-4.4.1.tbz" + checksum: [ + "sha256=14a09dceb44956952b096aab4e213c974d19289398b2f23d98dcc9d19c430708" + "sha512=47caff67e93f03a9b45da33edc2574a8a97c6b7fff92d2ba10afc5ed0bc8c44741a871f1db6293b0144159f98112b900be02450e8fb4b454e88d065c6417d2f1" + ] +} +x-commit-hash: "ec12b06aedc4e31115f145d049bfb656e89abc85" diff --git a/packages/mirage/mirage.4.4.1/opam b/packages/mirage/mirage.4.4.1/opam new file mode 100644 index 000000000000..757daa21096e --- /dev/null +++ b/packages/mirage/mirage.4.4.1/opam @@ -0,0 +1,55 @@ +opam-version: "2.0" +maintainer: ["anil@recoil.org" "thomas@gazagnaire.org"] +authors: ["Thomas Gazagnaire" "Anil Madhavapeddy" "Gabriel Radanne" + "Mindy Preston" "Thomas Leonard" "Nicolas Ojeda Bar" + "Dave Scott" "David Kaloper" "Hannes Mehnert" "Richard Mortier"] +homepage: "https://github.com/mirage/mirage" +bug-reports: "https://github.com/mirage/mirage/issues/" +dev-repo: "git+https://github.com/mirage/mirage.git" +license: "ISC" +tags: ["org:mirage" "org:xapi-project"] +doc: "https://mirage.github.io/mirage/" +available: opam-version >= "2.1.0" + +build: [ + ["dune" "subst"] {dev} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] + +depends: [ + "ocaml" {>= "4.08.0"} + "dune" {>= "2.9.0"} + "dune" {with-test & >= "3.0.0"} + "ipaddr" {>= "5.0.0"} + "functoria" {= version} + "bos" + "astring" + "logs" + "mirage-runtime" {= version} + "opam-monorepo" {>= "0.3.2"} + "alcotest" {with-test} + "fmt" {>= "0.8.7" & with-test} +] +synopsis: "The MirageOS library operating system" +description: """ +MirageOS is a 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 such as Linux or MacOS X, and then compiled into a +fully-standalone, specialised unikernel that runs under the Xen +hypervisor. + +Since Xen powers most public cloud computing infrastructure such as +Amazon EC2 or Rackspace, this lets your servers run more cheaply, +securely and with finer control than with a full software stack. +""" +url { + src: + "https://github.com/mirage/mirage/releases/download/v4.4.1/mirage-4.4.1.tbz" + checksum: [ + "sha256=14a09dceb44956952b096aab4e213c974d19289398b2f23d98dcc9d19c430708" + "sha512=47caff67e93f03a9b45da33edc2574a8a97c6b7fff92d2ba10afc5ed0bc8c44741a871f1db6293b0144159f98112b900be02450e8fb4b454e88d065c6417d2f1" + ] +} +x-commit-hash: "ec12b06aedc4e31115f145d049bfb656e89abc85"