unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
From: pukkamustard <pukkamustard@posteo.net>
To: 57298@debbugs.gnu.org
Cc: pukkamustard <pukkamustard@posteo.net>
Subject: [bug#57298] [PATCH 3/5] gnu: Add ocaml-crowbar.
Date: Fri, 19 Aug 2022 15:24:30 +0000	[thread overview]
Message-ID: <20220819152432.26135-3-pukkamustard@posteo.net> (raw)
In-Reply-To: <20220819152432.26135-1-pukkamustard@posteo.net>

* 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 dc56fb3ba3..506153785a 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -8604,6 +8604,42 @@ (define-public ocaml-pprint
 document and by the text width.")
     (license license:lgpl2.0)))
 
+(define-public ocaml-crowbar
+  (package
+    (name "ocaml-crowbar")
+    (version "0.2.1")
+    (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
+         "11f3kiw58g8njx15akx16xcplzvzdw9y6c4jpyfxylkxws4g0f6j"))))
+    (build-system dune-build-system)
+    (arguments
+     ;; Tests require ocaml-xmldiff which requires OCaml 4.12.0
+     `(#:tests? #f))
+    (propagated-inputs
+     (list ocaml-ocplib-endian
+           ocaml-cmdliner
+           ocaml-afl-persistent))
+    (native-inputs
+     (list ocaml-calendar
+           ocaml-fpath
+           ocaml-uucp
+           ocaml-uunf
+           ocaml-uutf
+           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
+@uref{http://lcamtuf.coredump.cx/afl/, afl-fuzz}.")
+    (license license:expat)))
+
 (define-public ocaml-bibtex2html
   (package
     (name "ocaml-bibtex2html")
-- 
2.37.1





  parent reply	other threads:[~2022-08-19 15:27 UTC|newest]

Thread overview: 16+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-08-19 15:21 [bug#57298] [PATCH 0/5] gnu: Add ocaml-digestif. (and dependencies) pukkamustard
2022-08-19 15:24 ` [bug#57298] [PATCH 1/5] gnu: Add ocaml-afl-persistent pukkamustard
2022-08-19 15:24   ` [bug#57298] [PATCH 2/5] gnu: Add ocaml-pprint pukkamustard
2022-08-20 12:03     ` Julien Lepiller
2022-08-22  9:43       ` pukkamustard
2022-08-19 15:24   ` pukkamustard [this message]
2022-08-20 12:05     ` [bug#57298] [PATCH 3/5] gnu: Add ocaml-crowbar Julien Lepiller
2022-08-22  9:45       ` pukkamustard
2022-08-19 15:24   ` [bug#57298] [PATCH 4/5] gnu: Add ocaml-eqaf pukkamustard
2022-08-19 15:24   ` [bug#57298] [PATCH 5/5] gnu: Add ocaml-digestif pukkamustard
2022-08-22  9:54 ` [bug#57298] [PATCH v2 1/5] gnu: Add ocaml-afl-persistent pukkamustard
2022-08-22  9:54   ` [bug#57298] [PATCH v2 2/5] gnu: Add ocaml-pprint pukkamustard
2022-08-22  9:54   ` [bug#57298] [PATCH v2 3/5] gnu: Add ocaml-crowbar pukkamustard
2022-08-22  9:54   ` [bug#57298] [PATCH v2 4/5] gnu: Add ocaml-eqaf pukkamustard
2022-08-22  9:54   ` [bug#57298] [PATCH v2 5/5] gnu: Add ocaml-digestif pukkamustard
2022-08-24 16:25     ` bug#57298: " Julien Lepiller

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://guix.gnu.org/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20220819152432.26135-3-pukkamustard@posteo.net \
    --to=pukkamustard@posteo.net \
    --cc=57298@debbugs.gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).