From 7723da5abf4133a44fa89af865d0689080a91360 Mon Sep 17 00:00:00 2001 From: Thomas Leonard Date: Mon, 8 Jun 2015 13:35:07 +0100 Subject: [PATCH 1/2] Add mirage-profile 0.5 --- .../mirage-profile/mirage-profile.0.5/descr | 6 ++++ .../mirage-profile/mirage-profile.0.5/opam | 28 +++++++++++++++++++ .../mirage-profile/mirage-profile.0.5/url | 2 ++ 3 files changed, 36 insertions(+) create mode 100644 packages/mirage-profile/mirage-profile.0.5/descr create mode 100644 packages/mirage-profile/mirage-profile.0.5/opam create mode 100644 packages/mirage-profile/mirage-profile.0.5/url diff --git a/packages/mirage-profile/mirage-profile.0.5/descr b/packages/mirage-profile/mirage-profile.0.5/descr new file mode 100644 index 00000000000..e73cdbd2930 --- /dev/null +++ b/packages/mirage-profile/mirage-profile.0.5/descr @@ -0,0 +1,6 @@ +Collect profiling information + +This library can be used to trace execution of OCaml/Lwt programs (such as +Mirage unikernels) at the level of Lwt threads. The traces can be viewed using +JavaScript or GTK viewers provided by mirage-trace-viewer or processed by tools +supporting the Common Trace Format (CTF). diff --git a/packages/mirage-profile/mirage-profile.0.5/opam b/packages/mirage-profile/mirage-profile.0.5/opam new file mode 100644 index 00000000000..1de1cd49f94 --- /dev/null +++ b/packages/mirage-profile/mirage-profile.0.5/opam @@ -0,0 +1,28 @@ +opam-version: "1.2" +name: "mirage-profile" +version: "0.5" +available: [ ocaml-version >= "4.00" ] +maintainer: "Thomas Leonard " +authors: "Thomas Leonard " +homepage: "https://github.com/mirage/mirage-profile" +bug-reports: "https://github.com/mirage/mirage-profile" +license: "BSD-2-clause" +build: [ + ["./configure" + "--prefix" prefix + "--%{mirage-xen-minios:enable}%-xen" + ] + [make] +] +install: [make "install"] +remove: ["ocamlfind" "remove" "mirage-profile"] +depends: [ + "ocamlfind" {build} + "cstruct" + "ocplib-endian" + "io-page" + "lwt" +] +depopts: [ + "mirage-xen-minios" +] diff --git a/packages/mirage-profile/mirage-profile.0.5/url b/packages/mirage-profile/mirage-profile.0.5/url new file mode 100644 index 00000000000..7dc83e4b5c9 --- /dev/null +++ b/packages/mirage-profile/mirage-profile.0.5/url @@ -0,0 +1,2 @@ +http: "https://github.com/mirage/mirage-profile/archive/v0.5.tar.gz" +checksum: "62fbd57b8540e7b0e5f21af65e728a0a" From e73b6da7905dd1f5290a134b96a6123162f3ded1 Mon Sep 17 00:00:00 2001 From: Thomas Leonard Date: Tue, 9 Jun 2015 12:48:34 +0100 Subject: [PATCH 2/2] Improve mirage-profile metadata - Remove name and version as they can be inferred from the directory. - Add dev-repo and bug-reports fields. --- packages/mirage-profile/mirage-profile.0.5/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/mirage-profile/mirage-profile.0.5/opam b/packages/mirage-profile/mirage-profile.0.5/opam index 1de1cd49f94..e6719f21544 100644 --- a/packages/mirage-profile/mirage-profile.0.5/opam +++ b/packages/mirage-profile/mirage-profile.0.5/opam @@ -1,6 +1,4 @@ opam-version: "1.2" -name: "mirage-profile" -version: "0.5" available: [ ocaml-version >= "4.00" ] maintainer: "Thomas Leonard " authors: "Thomas Leonard " @@ -26,3 +24,5 @@ depends: [ depopts: [ "mirage-xen-minios" ] +dev-repo: "https://github.com/mirage/mirage-profile.git" +bug-reports: "https://github.com/mirage/mirage-profile/issues"