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..e6719f21544 --- /dev/null +++ b/packages/mirage-profile/mirage-profile.0.5/opam @@ -0,0 +1,28 @@ +opam-version: "1.2" +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" +] +dev-repo: "https://github.com/mirage/mirage-profile.git" +bug-reports: "https://github.com/mirage/mirage-profile/issues" 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"