GNU bug report logs -
#49867
[PATCH 00/29] gnu: Add ocaml-cohttp-lwt-unix.
Previous Next
Reported by: pukkamustard <pukkamustard <at> posteo.net>
Date: Wed, 4 Aug 2021 07:12:01 UTC
Severity: normal
Tags: patch
Done: pukkamustard <pukkamustard <at> posteo.net>
Bug is archived. No further changes may be made.
Full log
View this message in rfc822 format
* gnu/packages/ocaml.scm (ocaml-crowbar): New variable.
---
gnu/packages/ocaml.scm | 36 ++++++++++++++++++++++++++++++++++++
1 file changed, 36 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 5a7acb4ba8..dba715d2f5 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -7528,6 +7528,42 @@ breaks, while respecting the constraints imposed by the structure of the
document and by the text width.")
(license license:lgpl2.0)))
+(define-public ocaml-crowbar
+ (package
+ (name "ocaml-crowbar")
+ (version "0.2")
+ (home-page "https://github.com/stedolan/crowbar")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url home-page)
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "0wjfc9irvirfkic32ivvj6qb7r838w08b0d3vmngigbjpjyc9b14"))))
+ (build-system dune-build-system)
+ (arguments
+ ;; Tests require ocaml-xmldiff which requires OCaml 4.12.0
+ `(#:tests? #f))
+ (propagated-inputs
+ `(("ocaml-ocplib-endian" ,ocaml-ocplib-endian)
+ ("ocaml-cmdliner" ,ocaml-cmdliner)
+ ("ocaml-afl-persistent" ,ocaml-afl-persistent)))
+ (native-inputs
+ `(("ocaml-calendar" ,ocaml-calendar)
+ ("ocaml-fpath" ,ocaml-fpath)
+ ("ocaml-uucp" ,ocaml-uucp)
+ ("ocaml-uunf" ,ocaml-uunf)
+ ("ocaml-uutf" ,ocaml-uutf)
+ ("ocaml-pprint" ,ocaml-pprint)))
+ (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
+[afl-fuzz](http://lcamtuf.coredump.cx/afl/).")
+ (license license:expat)))
+
(define-public js-of-ocaml
(package
(name "js-of-ocaml")
--
2.32.0
This bug report was last modified 3 years and 249 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.