From 45e0c7c49f0af9e02b7fb1dc7dc1acd926348a2b Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sun, 3 Mar 2019 11:35:57 +0100 Subject: [PATCH] [new release] mirage, mirage-runtime, mirage-types-lwt and mirage-types (3.5.0) CHANGES: * Rename Mirage_impl_kv_ro to Mirage_impl_kv, and introduce `rw` (mirage/mirage#975, by @hannesm) * Adapt to mirage-kv 2.0.0 changes (mirage/mirage#975, by @hannesm) * Adapt to mirage-protocols and mirag-net 2.0.0 changes (mirage/mirage#972, by @hannesm) * mirage-types-lwt: remove unneeded io-page dependency (mirage/mirage#971, by @hannesm) * Fix regression introduced in 3.4.0 that "-l *:debug" did no longer work (mirage/mirage#970, by @hannesm) * Adjust various upper bounds (mirage-unix, cohttp-mirage, mirage-bootvar-xen) (mirage/mirage#967, by @hannesm) --- .../mirage-runtime/mirage-runtime.3.5.0/opam | 35 ++++++++++++ .../mirage-types-lwt.3.5.0/opam | 53 +++++++++++++++++++ packages/mirage-types/mirage-types.3.5.0/opam | 44 +++++++++++++++ packages/mirage/mirage.3.5.0/opam | 46 ++++++++++++++++ 4 files changed, 178 insertions(+) create mode 100644 packages/mirage-runtime/mirage-runtime.3.5.0/opam create mode 100644 packages/mirage-types-lwt/mirage-types-lwt.3.5.0/opam create mode 100644 packages/mirage-types/mirage-types.3.5.0/opam create mode 100644 packages/mirage/mirage.3.5.0/opam diff --git a/packages/mirage-runtime/mirage-runtime.3.5.0/opam b/packages/mirage-runtime/mirage-runtime.3.5.0/opam new file mode 100644 index 000000000000..79f058f5b4e0 --- /dev/null +++ b/packages/mirage-runtime/mirage-runtime.3.5.0/opam @@ -0,0 +1,35 @@ +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"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] + +depends: [ + "ocaml" {>= "4.04.2"} + "dune" {build & >= "1.1.0"} + "ipaddr" {>= "3.0.0"} + "functoria-runtime" {>= "2.2.2"} + "fmt" + "logs" +] +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/v3.5.0/mirage-v3.5.0.tbz" + checksum: "md5=4254a635bbf4744bb8a7d1d1cc4011b4" +} diff --git a/packages/mirage-types-lwt/mirage-types-lwt.3.5.0/opam b/packages/mirage-types-lwt/mirage-types-lwt.3.5.0/opam new file mode 100644 index 000000000000..b42b05c81b8f --- /dev/null +++ b/packages/mirage-types-lwt/mirage-types-lwt.3.5.0/opam @@ -0,0 +1,53 @@ +opam-version: "2.0" +maintainer: ["anil@recoil.org" "thomas@gazagnaire.org"] +authors: "The MirageOS team" +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"] + + +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] + +depends: [ + "ocaml" {>= "4.04.2"} + "dune" {build & >= "1.1.0"} + "lwt" + "cstruct" {>="3.2.1"} + "ipaddr" {>= "3.0.0"} + "mirage-types" {>= "3.5.0"} + "mirage-clock-lwt" {>= "2.0.0"} + "mirage-time-lwt" {>= "1.1.0"} + "mirage-random" {>= "1.2.0"} + "mirage-flow-lwt" {>= "1.5.0"} + "mirage-protocols-lwt" {>= "2.0.0"} + "mirage-stack-lwt" {>= "1.3.0"} + "mirage-console-lwt" {>= "2.3.5"} + "mirage-block-lwt" {>= "1.1.0"} + "mirage-net-lwt" {>= "2.0.0"} + "mirage-fs-lwt" {>= "2.0.0"} + "mirage-kv-lwt" {>= "2.0.0"} + "mirage-channel-lwt" {>= "3.1.0"} +] + +synopsis: "Lwt module type definitions for MirageOS applications" +description: """ +The purpose of this library is to provide concrete types +for several that are left abstract in `mirage-types`: + +- `type 'a io = 'a Lwt.t` +- `type page_aligned_buffer = Io_page.t` +- `type buffer = Cstruct.t` +- `type macaddr = Macaddr.t` +- `type ipv4addr = Ipaddr.V4.t` +""" +url { + src: + "https://github.com/mirage/mirage/releases/download/v3.5.0/mirage-v3.5.0.tbz" + checksum: "md5=4254a635bbf4744bb8a7d1d1cc4011b4" +} diff --git a/packages/mirage-types/mirage-types.3.5.0/opam b/packages/mirage-types/mirage-types.3.5.0/opam new file mode 100644 index 000000000000..aa3899d45bb4 --- /dev/null +++ b/packages/mirage-types/mirage-types.3.5.0/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"] + + +build: [ + ["dune" "subst"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] + +depends: [ + "ocaml" {>= "4.04.2"} + "dune" {build & >= "1.1.0"} + "mirage-device" {>= "1.1.0"} + "mirage-time" {>= "1.1.0"} + "mirage-clock" {>= "2.0.0"} + "mirage-random" {>= "1.2.0"} + "mirage-flow" {>= "1.5.0"} + "mirage-console" {>= "2.3.5"} + "mirage-protocols" {>= "2.0.0"} + "mirage-stack" {>= "1.3.0"} + "mirage-block" {>= "1.1.0"} + "mirage-net" {>= "2.0.0"} + "mirage-fs" {>= "2.0.0"} + "mirage-kv" {>= "2.0.0"} + "mirage-channel" {>= "3.1.0"} +] +synopsis: "Module type definitions for MirageOS applications" +description: """ +Module type definitions for MirageOS applications +""" +url { + src: + "https://github.com/mirage/mirage/releases/download/v3.5.0/mirage-v3.5.0.tbz" + checksum: "md5=4254a635bbf4744bb8a7d1d1cc4011b4" +} diff --git a/packages/mirage/mirage.3.5.0/opam b/packages/mirage/mirage.3.5.0/opam new file mode 100644 index 000000000000..4cf61dd69d0c --- /dev/null +++ b/packages/mirage/mirage.3.5.0/opam @@ -0,0 +1,46 @@ +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"] {pinned} + ["dune" "build" "-p" name "-j" jobs] + ["dune" "runtest" "-p" name "-j" jobs] {with-test} +] + +depends: [ + "ocaml" {>= "4.04.2"} + "dune" {build & >= "1.1.0"} + "ipaddr" {>= "3.0.0"} + "functoria" {>= "2.2.3"} + "bos" + "astring" + "logs" + "mirage-runtime" {>= "3.5.0"} +] +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/v3.5.0/mirage-v3.5.0.tbz" + checksum: "md5=4254a635bbf4744bb8a7d1d1cc4011b4" +}