gnu: Add ocaml-mirage-profile.
* gnu/packages/ocaml.scm (ocaml-mirage-profile): New variable. Signed-off-by: Christopher Baines <mail@cbaines.net>
This commit is contained in:
parent
89c1bc291e
commit
fa0c8e8260
1 changed files with 14 additions and 0 deletions
|
@ -3884,6 +3884,20 @@ will optimise these calls away, meaning there should be no overhead in the
|
||||||
non-profiling case.")
|
non-profiling case.")
|
||||||
(license license:bsd-2)))
|
(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
|
(define-public ocaml-ocurl
|
||||||
(package
|
(package
|
||||||
(name "ocaml-ocurl")
|
(name "ocaml-ocurl")
|
||||||
|
|
Reference in a new issue