diff --git a/packages/mirage-unix/mirage-unix.2.2.2/descr b/packages/mirage-unix/mirage-unix.2.2.2/descr new file mode 100644 index 000000000000..2679e13e6dac --- /dev/null +++ b/packages/mirage-unix/mirage-unix.2.2.2/descr @@ -0,0 +1 @@ +Mirage OS library for Unix compilation diff --git a/packages/mirage-unix/mirage-unix.2.2.2/findlib b/packages/mirage-unix/mirage-unix.2.2.2/findlib new file mode 100644 index 000000000000..b18b00ad730b --- /dev/null +++ b/packages/mirage-unix/mirage-unix.2.2.2/findlib @@ -0,0 +1 @@ +mirage-unix diff --git a/packages/mirage-unix/mirage-unix.2.2.2/opam b/packages/mirage-unix/mirage-unix.2.2.2/opam new file mode 100644 index 000000000000..7eb2ba086f58 --- /dev/null +++ b/packages/mirage-unix/mirage-unix.2.2.2/opam @@ -0,0 +1,19 @@ +opam-version: "1" +maintainer: "anil@recoil.org" +build: [ + [make "unix-build"] + [make "unix-install" "PREFIX=%{prefix}%"] +] +remove: [ + [make "unix-uninstall" "PREFIX=%{prefix}%"] +] +depends: [ + "cstruct" {>= "1.0.1"} + "ocamlfind" + "lwt" {>= "2.4.3"} + "io-page" {>= "1.0.1"} + "mirage-clock-unix" { >="1.0.0"} + "shared-memory-ring" {>= "1.0.0"} + "mirage-profile" {>="0.3"} +] +ocaml-version: [>= "4.01.0"] diff --git a/packages/mirage-unix/mirage-unix.2.2.2/url b/packages/mirage-unix/mirage-unix.2.2.2/url new file mode 100644 index 000000000000..817b4e8a32d6 --- /dev/null +++ b/packages/mirage-unix/mirage-unix.2.2.2/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/mirage-platform/archive/v2.2.2.tar.gz" +checksum: "47bf62cb84fc936f09bd54b7befe85ac" diff --git a/packages/mirage-xen/mirage-xen.2.2.2/descr b/packages/mirage-xen/mirage-xen.2.2.2/descr new file mode 100644 index 000000000000..293b3d9ed4e1 --- /dev/null +++ b/packages/mirage-xen/mirage-xen.2.2.2/descr @@ -0,0 +1 @@ +Mirage OS library for Xen compilation diff --git a/packages/mirage-xen/mirage-xen.2.2.2/opam b/packages/mirage-xen/mirage-xen.2.2.2/opam new file mode 100644 index 000000000000..03922067063b --- /dev/null +++ b/packages/mirage-xen/mirage-xen.2.2.2/opam @@ -0,0 +1,24 @@ +opam-version: "1" +maintainer: "anil@recoil.org" +build: [ + [make "xen-build"] + [make "xen-install" "PREFIX=%{prefix}%"] +] +remove: [[make "xen-uninstall" "PREFIX=%{prefix}%"]] +depends: [ + "cstruct" {>= "1.0.1"} + "ocamlfind" + "io-page" {>= "1.0.1"} + "mirage-clock-xen" {>= "1.0.0"} + "lwt" {>= "2.4.3"} + "shared-memory-ring" {>= "1.0.0"} + "xenstore" {>= "1.2.5"} + "xen-evtchn" {>="0.9.9"} + "xen-gnt" {>="2.0.0"} + "mirage-xen-minios" {>="0.7.0"} + "conf-pkg-config" + "mirage-profile" {>="0.3"} + "ocaml-src" +] +ocaml-version: [>= "4.01.0"] +os: ["linux"] diff --git a/packages/mirage-xen/mirage-xen.2.2.2/url b/packages/mirage-xen/mirage-xen.2.2.2/url new file mode 100644 index 000000000000..817b4e8a32d6 --- /dev/null +++ b/packages/mirage-xen/mirage-xen.2.2.2/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/mirage-platform/archive/v2.2.2.tar.gz" +checksum: "47bf62cb84fc936f09bd54b7befe85ac"