diff options
| author | raingloom <raingloom@riseup.net> | 2023-02-15 23:00:06 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2023-02-17 15:44:55 +0000 |
| commit | fa0c8e82608d51aadd9436e0351d2415924921bb (patch) | |
| tree | 7b351b3b40d22759ceced555dfcfdd81fdf596ee /gnu/packages/ocaml.scm | |
| parent | 89c1bc291e2e1ef860b7cad182b2433eebd4beaa (diff) | |
gnu: Add ocaml-mirage-profile.
* gnu/packages/ocaml.scm (ocaml-mirage-profile): New variable.
Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu/packages/ocaml.scm')
| -rw-r--r-- | gnu/packages/ocaml.scm | 14 |
1 files changed, 14 insertions, 0 deletions
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") |