[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#60120] [PATCH 07/28] gnu: Add ocaml-monolith.
From: |
pukkamustard |
Subject: |
[bug#60120] [PATCH 07/28] gnu: Add ocaml-monolith. |
Date: |
Fri, 16 Dec 2022 13:25:06 +0000 |
* gnu/packages/ocaml.scm (ocaml-monolith): New variable.
---
gnu/packages/ocaml.scm | 23 +++++++++++++++++++++++
1 file changed, 23 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 261de17dbb..58eef28558 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -8662,6 +8662,29 @@ (define-public ocaml-afl-persistent
repeated forking and is much faster.")
(license license:expat)))
+(define-public ocaml-monolith
+ (package
+ (name "ocaml-monolith")
+ (version "20210525")
+ (source
+ (origin
+ (method url-fetch)
+ (uri
+
"https://gitlab.inria.fr/fpottier/monolith/-/archive/20210525/archive.tar.gz")
+ (sha256
+ (base32
+ "1fcjpxspdksyrk2gmmk968s6fpkqlyn6zsg2rbz044f5slm39rcx"))))
+ (build-system dune-build-system)
+ (arguments `(#:test-target "."))
+ (propagated-inputs (list ocaml-afl-persistent ocaml-pprint ocaml-seq))
+ (home-page "https://gitlab.inria.fr/fpottier/monolith")
+ (synopsis "Framework for testing an OCaml library using afl-fuzz")
+ (description "Monolith offers facilities for testing an OCaml library (for
+instance, a data structure implementation) by comparing it against a reference
+implementation. It can be used to perform either random testing or fuzz
+testing by using the @code{afl-fuzz} tool.")
+ (license license:lgpl3+)))
+
(define-public ocaml-pprint
(package
(name "ocaml-pprint")
--
2.38.1
- [bug#60120] [PATCH 00/28] gnu: Add ocaml-5.0., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 01/28] gnu: Add ocaml-5.0., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 02/28] gnu: ocaml-findlib: Update to 1.9.5., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 05/28] gnu: opam: Use OCaml 4.14 compiled version when building OCaml 5.0 packages., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 03/28] gnu: Add ocaml5.0-findlib, pukkamustard, 2022/12/16
- [bug#60120] [PATCH 04/28] guix: ocaml: Add package-with-ocaml5.0., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 06/28] gnu: Add ocaml-psq., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 13/28] gnu: Add ocaml5.0-ppx-expect., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 08/28] gnu: Add ocaml-optint., pukkamustard, 2022/12/16
- [bug#60120] [PATCH 07/28] gnu: Add ocaml-monolith.,
pukkamustard <=
- [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, 2022/12/16
- [bug#60120] [PATCH 16/28] gnu: Add ocaml-lwt-dllist., pukkamustard, 2022/12/16