From fa0c8e82608d51aadd9436e0351d2415924921bb Mon Sep 17 00:00:00 2001 From: raingloom Date: Wed, 15 Feb 2023 23:00:06 +0100 Subject: [PATCH] gnu: Add ocaml-mirage-profile. * gnu/packages/ocaml.scm (ocaml-mirage-profile): New variable. Signed-off-by: Christopher Baines --- gnu/packages/ocaml.scm | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm index e4f7b929a1..061654facd 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -3884,6 +3884,20 @@ will optimise these calls away, meaning there should be no overhead in the non-profiling case.") (license license:bsd-2))) +(define-public ocaml-mirage-profile + (package + (inherit ocaml-mirage-profile-unix) + (name "ocaml-mirage-profile") + (arguments + '(#:package "mirage-profile" + ;; TODO cyclic dependency with mirage-profile + ;; It could be broken using package variants, if not for + ;; propagated inputs leading to version conflicts. + #:tests? #f)) + (propagated-inputs (modify-inputs (package-propagated-inputs + ocaml-mirage-profile-unix) + (append ocaml-mirage-profile-unix))))) + (define-public ocaml-ocurl (package (name "ocaml-ocurl")