diff --git a/packages/mirage-unix/mirage-unix.2.1.1/descr b/packages/mirage-unix/mirage-unix.2.1.1/descr new file mode 100644 index 000000000000..2679e13e6dac --- /dev/null +++ b/packages/mirage-unix/mirage-unix.2.1.1/descr @@ -0,0 +1 @@ +Mirage OS library for Unix compilation diff --git a/packages/mirage-unix/mirage-unix.2.1.1/findlib b/packages/mirage-unix/mirage-unix.2.1.1/findlib new file mode 100644 index 000000000000..b18b00ad730b --- /dev/null +++ b/packages/mirage-unix/mirage-unix.2.1.1/findlib @@ -0,0 +1 @@ +mirage-unix diff --git a/packages/mirage-unix/mirage-unix.2.1.1/opam b/packages/mirage-unix/mirage-unix.2.1.1/opam new file mode 100644 index 000000000000..7eb2ba086f58 --- /dev/null +++ b/packages/mirage-unix/mirage-unix.2.1.1/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.1.1/url b/packages/mirage-unix/mirage-unix.2.1.1/url new file mode 100644 index 000000000000..cee1afbac6c6 --- /dev/null +++ b/packages/mirage-unix/mirage-unix.2.1.1/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/mirage-platform/archive/v2.1.1.tar.gz" +checksum: "0072f3c9933a410e53e298034d722ec6" diff --git a/packages/mirage-xen/mirage-xen.2.1.1/descr b/packages/mirage-xen/mirage-xen.2.1.1/descr new file mode 100644 index 000000000000..293b3d9ed4e1 --- /dev/null +++ b/packages/mirage-xen/mirage-xen.2.1.1/descr @@ -0,0 +1 @@ +Mirage OS library for Xen compilation diff --git a/packages/mirage-xen/mirage-xen.2.1.1/opam b/packages/mirage-xen/mirage-xen.2.1.1/opam new file mode 100644 index 000000000000..a4908b904484 --- /dev/null +++ b/packages/mirage-xen/mirage-xen.2.1.1/opam @@ -0,0 +1,23 @@ +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.4.1"} + "conf-pkg-config" + "mirage-profile" {>="0.3"} +] +ocaml-version: [>= "4.01.0" & < "4.02.0"] +os: ["linux"] diff --git a/packages/mirage-xen/mirage-xen.2.1.1/url b/packages/mirage-xen/mirage-xen.2.1.1/url new file mode 100644 index 000000000000..cee1afbac6c6 --- /dev/null +++ b/packages/mirage-xen/mirage-xen.2.1.1/url @@ -0,0 +1,2 @@ +archive: "https://github.com/mirage/mirage-platform/archive/v2.1.1.tar.gz" +checksum: "0072f3c9933a410e53e298034d722ec6"