Merge pull request #4190 from talex5/mirage-profile-0.5

Add mirage-profile 0.5

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).

packages/mirage-profile/mirage-profile.0.5/opam

@@ -0,0 +1,28 @@
+opam-version: "1.2"
+available: [ ocaml-version >= "4.00" ]
+maintainer: "Thomas Leonard <[email protected]>"
+authors: "Thomas Leonard <[email protected]>"
+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"
+]
+dev-repo: "https://github.com/mirage/mirage-profile.git"
+bug-reports: "https://github.com/mirage/mirage-profile/issues"

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"