[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#60120] [PATCH 15/28] gnu: Add ocaml5.0-crowbar.
From: |
pukkamustard |
Subject: |
[bug#60120] [PATCH 15/28] gnu: Add ocaml5.0-crowbar. |
Date: |
Fri, 16 Dec 2022 13:25:14 +0000 |
* gnu/packages/ocaml.scm (ocaml5.0-crowbar): New variable.
---
gnu/packages/ocaml.scm | 9 +++++++++
1 file changed, 9 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 5383972eb6..0998d6cd09 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -8834,12 +8834,21 @@ (define-public ocaml-crowbar
ocaml-uunf
ocaml-uutf
ocaml-pprint))
+ (properties `((ocaml5.0-variant . ,(delay ocaml5.0-crowbar))))
(synopsis "Ocaml library for tests, let a fuzzer find failing cases")
(description "Crowbar is a library for testing code, combining
QuickCheck-style property-based testing and the magical bug-finding powers of
@uref{http://lcamtuf.coredump.cx/afl/, afl-fuzz}.")
(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
(package
(name "ocaml-eqaf")
--
2.38.1
- [bug#60120] [PATCH 08/28] gnu: Add ocaml-optint., (continued)
- [bug#60120] [PATCH 08/28] gnu: Add ocaml-optint., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 07/28] gnu: Add ocaml-monolith., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 09/28] gnu: Add ocaml-hmap., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 10/28] gnu: Add ocaml5.0-base., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 11/28] gnu: Update ocaml-ppxlib to 0.25.1., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 18/28] gnu: Add ocaml-bechamel., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 12/28] gnu: Update ocaml-qcheck to 0.20., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 17/28] gnu: Add ocaml5.0-ctypes, pukkamustard, 2022/12/16
- [bug#60120] [PATCH 14/28] gnu: Update ocaml-odoc to 2.2.0., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 20/28] gnu: Add ocaml5.0-eio., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 15/28] gnu: Add ocaml5.0-crowbar.,
pukkamustard <=
- [bug#60120] [PATCH 16/28] gnu: Add ocaml-lwt-dllist., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 21/28] gnu: Add ocaml5.0-eio-luv., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 22/28] gnu: Add ocaml-uring., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 19/28] gnu: ocaml-mdx: Move inputs to propagated-inputs., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 28/28] gnu: Add ocaml5.0-merlin., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 24/28] gnu: Add ocaml5.0-eio-main., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 27/28] gnu: Add ocaml5.0-dot-merlin-reader., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 26/28] gnu: Add ocaml5.0-merlin-lib., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 23/28] gnu: Add ocaml5.0-eio-linux., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 25/28] gnu: Update ocaml-merlin-lib to 4.7-414., pukkamustard, 2022/12/16