mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2025-02-07 19:39:34 +01:00
gnu: Add ocaml5.0-crowbar.
* gnu/packages/ocaml.scm (ocaml5.0-crowbar): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
This commit is contained in:
parent
7a19cb115f
commit
048217e73c
1 changed files with 9 additions and 0 deletions
|
@ -8839,12 +8839,21 @@ document and by the text width.")
|
||||||
ocaml-uunf
|
ocaml-uunf
|
||||||
ocaml-uutf
|
ocaml-uutf
|
||||||
ocaml-pprint))
|
ocaml-pprint))
|
||||||
|
(properties `((ocaml5.0-variant . ,(delay ocaml5.0-crowbar))))
|
||||||
(synopsis "Ocaml library for tests, let a fuzzer find failing cases")
|
(synopsis "Ocaml library for tests, let a fuzzer find failing cases")
|
||||||
(description "Crowbar is a library for testing code, combining
|
(description "Crowbar is a library for testing code, combining
|
||||||
QuickCheck-style property-based testing and the magical bug-finding powers of
|
QuickCheck-style property-based testing and the magical bug-finding powers of
|
||||||
@uref{http://lcamtuf.coredump.cx/afl/, afl-fuzz}.")
|
@uref{http://lcamtuf.coredump.cx/afl/, afl-fuzz}.")
|
||||||
(license license:expat)))
|
(license license:expat)))
|
||||||
|
|
||||||
|
(define-public ocaml5.0-crowbar
|
||||||
|
(package-with-ocaml5.0
|
||||||
|
(package
|
||||||
|
(inherit ocaml-crowbar)
|
||||||
|
;; Tests require ocaml-calendar which does not work with OCaml 5.0
|
||||||
|
(arguments `(#:tests? #f))
|
||||||
|
(properties '()))))
|
||||||
|
|
||||||
(define-public ocaml-eqaf
|
(define-public ocaml-eqaf
|
||||||
(package
|
(package
|
||||||
(name "ocaml-eqaf")
|
(name "ocaml-eqaf")
|
||||||
|
|
Loading…
Add table
Reference in a new issue