From: Csepp <raingloom@riseup.net>
To: 60673@debbugs.gnu.org
Cc: raingloom <raingloom@riseup.net>
Subject: [bug#60673] [PATCH v2 16/39] gnu: Add ocaml-mirage-profile-unix.
Date: Wed, 15 Feb 2023 23:00:05 +0100 [thread overview]
Message-ID: <20230215220028.18575-17-raingloom@riseup.net> (raw)
In-Reply-To: <20230215220028.18575-1-raingloom@riseup.net>
From: raingloom <raingloom@riseup.net>
* gnu/packages/ocaml.scm (ocaml-mirage-profile-unix): New variable.
---
gnu/packages/ocaml.scm | 38 ++++++++++++++++++++++++++++++++++++++
1 file changed, 38 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index dfd194faaf..665bf943da 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -3848,6 +3848,44 @@ (define-public ocaml-mirage-unix
handles the main loop and timers.")
(license license:isc)))
+(define-public ocaml-mirage-profile-unix
+ (package
+ (name "ocaml-mirage-profile-unix")
+ (version "0.9.1")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/mirage/mirage-profile/")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "11p3ai8g993algds9mbg4xf3is0agqah127r69fb7rm35dryzq95"))))
+ (build-system dune-build-system)
+ (arguments
+ '(#:package "mirage-profile-unix"
+ #:tests? #f ;depends on ocaml-mirage-profile which would form a loop
+ #:phases (modify-phases %standard-phases
+ ;; TODO is there a way to do this with dune build flags?
+ (add-after 'unpack 'disable-xen
+ (lambda _
+ ;; this way it is not detected as a build target
+ (rename-file "xen" "_xen"))))))
+ (propagated-inputs (list ocaml-cstruct ocaml-ocplib-endian ocaml-lwt
+ ocaml-mtime ocaml-ppx-cstruct))
+ (native-inputs (list ocaml-ppx-cstruct))
+ (home-page "https://github.com/mirage/mirage-profile")
+ (synopsis "Collects Ocaml/Lwt profiling information in CTF format")
+ (description
+ "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.
+When compiled against a normal version of Lwt, OCaml's cross-module inlining
+will optimise these calls away, meaning there should be no overhead in the
+non-profiling case.")
+ (license license:bsd-2)))
+
(define-public ocaml-ocurl
(package
(name "ocaml-ocurl")
--
2.39.1
next prev parent reply other threads:[~2023-02-15 22:02 UTC|newest]
Thread overview: 85+ messages / expand[flat|nested] mbox.gz Atom feed top
2023-01-09 0:34 [bug#60673] [PATCH 01/39] gnu: Add ocaml-domain-name Csepp
2023-01-09 0:34 ` [bug#60671] [PATCH 02/39] gnu: Add ocaml-macaddr Csepp
2023-01-09 0:34 ` [bug#60672] [PATCH 03/39] gnu: Add ocaml-ipaddr Csepp
2023-01-09 0:34 ` [bug#60674] [PATCH 04/39] gnu: Add ocaml-opam-monorepo Csepp
2023-01-09 0:34 ` [bug#60675] [PATCH 05/39] gnu: Add ocaml-pecu Csepp
2023-01-09 0:34 ` [bug#60676] [PATCH 06/39] gnu: Add ocaml-emile Csepp
2023-01-09 0:34 ` [bug#60677] [PATCH 07/39] gnu: Add ocaml-functoria-runtime Csepp
2023-01-09 0:34 ` [bug#60678] [PATCH 08/39] gnu: Add ocaml-mirage-runtime Csepp
2023-01-09 0:34 ` [bug#60679] [PATCH 09/39] gnu: Add ocaml-functoria Csepp
2023-01-09 0:35 ` [bug#60680] [PATCH 10/39] gnu: Add ocaml-mirage Csepp
2023-01-09 0:35 ` [bug#60681] [PATCH 11/39] gnu: Add ocaml-duration Csepp
2023-01-09 0:35 ` [bug#60682] [PATCH 12/39] gnu: Add ocaml-mirage-unix Csepp
2023-01-09 0:35 ` [bug#60683] [PATCH 13/39] gnu: Add ocaml-mirage-time Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 14/39] gnu: Add aliases for ocaml-cstruct and ocaml-lwt subpackages Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 15/39] gnu: Add ocaml-ppx-cstruct Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 16/39] gnu: Add ocaml-mirage-profile-unix Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 17/39] gnu: Add ocaml-mirage-profile Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 18/39] gnu: Add ocaml-mirage-clock Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 19/39] gnu: Add ocaml-ptime Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 20/39] gnu: Add ocaml-mirage-logs Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 21/39] gnu: Add ocaml-sexp-pretty Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 22/39] gnu: Add ocaml-expect-test-helpers-core Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 23/39] gnu: Add ocaml-intrinsics Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 24/39] gnu: Add ocaml-core-unix Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 25/39] gnu: Add ocaml-async-kernel Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 26/39] gnu: Add ocaml-async-unix Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 27/39] gnu: Add ocaml-textutils-kernel Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 28/39] gnu: Add ocaml-textutils Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 29/39] gnu: Add ocaml-protocol-version-header Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 30/39] gnu: Add ocaml-async-rpc-kernel Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 31/39] gnu: Add ocaml-async Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 32/39] gnu: Add ocaml-shared-memory-ring Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 33/39] gnu: Alias ocaml-shared-memory-ring-lwt to ocaml-shared-memory-ring Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 34/39] gnu: Add ocaml-xenstore Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 35/39] gnu: Add ocaml-io-page Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 36/39] gnu: Add ocaml-bheap Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 37/39] gnu: Add ocaml-mirage-xen Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 38/39] gnu: Add ocaml-parse-argv Csepp
2023-01-09 0:35 ` [bug#60673] [PATCH 39/39] gnu: Add ocaml-mirage-bootvar-unix Csepp
2023-02-07 7:57 ` [bug#60673] [PATCH 01/39] gnu: Add ocaml-domain-name Christopher Baines
2023-02-08 1:37 ` Csepp
2023-02-08 7:32 ` Christopher Baines
2023-02-17 1:03 ` Csepp
2023-02-17 6:41 ` Julien Lepiller
2023-02-17 15:50 ` Christopher Baines
2023-02-15 21:59 ` [bug#60673] Csepp
2023-02-15 21:59 ` [bug#60673] [PATCH v2 01/39] gnu: Add ocaml-domain-name Csepp
2023-02-15 21:59 ` [bug#60673] [PATCH v2 02/39] gnu: Add ocaml-macaddr Csepp
2023-02-15 21:59 ` [bug#60673] [PATCH v2 03/39] gnu: Add ocaml-ipaddr Csepp
2023-02-15 21:59 ` [bug#60673] [PATCH v2 04/39] gnu: Add ocaml-opam-monorepo Csepp
2023-02-15 21:59 ` [bug#60673] [PATCH v2 05/39] gnu: Add ocaml-pecu Csepp
2023-02-15 21:59 ` [bug#60673] [PATCH v2 06/39] gnu: Add ocaml-emile Csepp
2023-02-15 21:59 ` [bug#60673] [PATCH v2 07/39] gnu: Add ocaml-functoria-runtime Csepp
2023-02-15 21:59 ` [bug#60673] [PATCH v2 08/39] gnu: Add ocaml-mirage-runtime Csepp
2023-02-15 21:59 ` [bug#60673] [PATCH v2 09/39] gnu: Add ocaml-functoria Csepp
2023-02-15 21:59 ` [bug#60673] [PATCH v2 10/39] gnu: Add ocaml-mirage Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 11/39] gnu: Add ocaml-duration Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 12/39] gnu: Add ocaml-mirage-unix Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 13/39] gnu: Add ocaml-mirage-time Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 14/39] gnu: Add aliases for ocaml-cstruct and ocaml-lwt subpackages Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 15/39] gnu: Add ocaml-ppx-cstruct Csepp
2023-02-15 22:00 ` Csepp [this message]
2023-02-15 22:00 ` [bug#60673] [PATCH v2 17/39] gnu: Add ocaml-mirage-profile Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 18/39] gnu: Add ocaml-mirage-clock Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 19/39] gnu: Add ocaml-ptime Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 20/39] gnu: Add ocaml-mirage-logs Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 21/39] gnu: Add ocaml-sexp-pretty Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 22/39] gnu: Add ocaml-expect-test-helpers-core Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 23/39] gnu: Add ocaml-intrinsics Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 24/39] gnu: Add ocaml-core-unix Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 25/39] gnu: Add ocaml-async-kernel Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 26/39] gnu: Add ocaml-async-unix Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 27/39] gnu: Add ocaml-textutils-kernel Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 28/39] gnu: Add ocaml-textutils Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 29/39] gnu: Add ocaml-protocol-version-header Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 30/39] gnu: Add ocaml-async-rpc-kernel Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 31/39] gnu: Add ocaml-async Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 32/39] gnu: Add ocaml-shared-memory-ring Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 33/39] gnu: Add ocaml-shared-memory-ring-lwt Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 34/39] gnu: Add ocaml-xenstore Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 35/39] gnu: Add ocaml-io-page Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 36/39] gnu: Add ocaml-bheap Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 37/39] gnu: Add ocaml-mirage-xen Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 38/39] gnu: Add ocaml-parse-argv Csepp
2023-02-15 22:00 ` [bug#60673] [PATCH v2 39/39] gnu: Add ocaml-mirage-bootvar-unix Csepp
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20230215220028.18575-17-raingloom@riseup.net \
--to=raingloom@riseup.net \
--cc=60673@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.