wangliu-iscas/guix-mirror
1
0
Fork 0
mirror of https://codeberg.org/guix/guix.git synced 2026-04-28 06:34:05 +00:00
Code Issues Packages Projects Releases Wiki Activity

gnu: ocaml5: Add ocaml-mirage-profile-unix.

Browse Source 
* gnu/packages/ocaml5.scm (ocaml-mirage-profile-unix): New variable.

Change-Id: I67616e55f3fb2e69d7e182c22c1a6cb6a15ae44b
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
This commit is contained in:
Jason Conroy
2026-04-09 17:06:58 -04:00
committed by Julien Lepiller
parent f08332ceed
commit 5c3c654610
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
gnu/packages/ocaml5.scm
View File

@@ -4583,6 +4583,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-unix
(package
(inherit ocaml-mirage-profile)
(name "ocaml5-mirage-profile-unix")
(arguments
'(#:package "mirage-profile-unix"
;; 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)
(append ocaml-mirage-profile)))))
(define-public ocaml-ppx-stable-witness
(package
(name "ocaml5-ppx-stable-witness")