[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
07/28: gnu: Add ocaml-monolith.
From: |
guix-commits |
Subject: |
07/28: gnu: Add ocaml-monolith. |
Date: |
Wed, 21 Dec 2022 16:11:42 -0500 (EST) |
roptat pushed a commit to branch master
in repository guix.
commit c60fae72d874203e2d3a21e51a6961358926be99
Author: pukkamustard <pukkamustard@posteo.net>
AuthorDate: Fri Dec 16 13:25:06 2022 +0000
gnu: Add ocaml-monolith.
* gnu/packages/ocaml.scm (ocaml-monolith): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
---
gnu/packages/ocaml.scm | 25 +++++++++++++++++++++++++
1 file changed, 25 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index 3c072672b7..b9f6bb13df 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -8665,6 +8665,31 @@ Using this package, you can run afl-fuzz in ``persistent
mode'', which avoids
repeated forking and is much faster.")
(license license:expat)))
+(define-public ocaml-monolith
+ (package
+ (name "ocaml-monolith")
+ (version "20210525")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://gitlab.inria.fr/fpottier/monolith")
+ (commit version)))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "1b6jj4ivl9ni8kba7wls4xsqdy8nm7q9mnx9347jvb99dmmlj5mc"))))
+ (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")
- 13/28: gnu: Add ocaml5.0-ppx-expect., (continued)
- 13/28: gnu: Add ocaml5.0-ppx-expect., guix-commits, 2022/12/21
- 03/28: gnu: Add ocaml5.0-findlib, guix-commits, 2022/12/21
- 01/28: gnu: Add ocaml-5.0., guix-commits, 2022/12/21
- 04/28: guix: ocaml: Add package-with-ocaml5.0., guix-commits, 2022/12/21
- 15/28: gnu: Add ocaml5.0-crowbar., guix-commits, 2022/12/21
- 17/28: gnu: Add ocaml5.0-ctypes, guix-commits, 2022/12/21
- 27/28: gnu: Add ocaml5.0-dot-merlin-reader., guix-commits, 2022/12/21
- 25/28: gnu: Update ocaml-merlin-lib to 4.7-414., guix-commits, 2022/12/21
- 21/28: gnu: Add ocaml5.0-eio-luv., guix-commits, 2022/12/21
- 02/28: gnu: ocaml-findlib: Update to 1.9.5., guix-commits, 2022/12/21
- 07/28: gnu: Add ocaml-monolith.,
guix-commits <=
- 08/28: gnu: Add ocaml-optint., guix-commits, 2022/12/21
- 10/28: gnu: Add ocaml5.0-base., guix-commits, 2022/12/21
- 12/28: gnu: Update ocaml-qcheck to 0.20., guix-commits, 2022/12/21
- 14/28: gnu: Update ocaml-odoc to 2.2.0., guix-commits, 2022/12/21
- 20/28: gnu: Add ocaml5.0-eio., guix-commits, 2022/12/21
- 24/28: gnu: Add ocaml5.0-eio-main., guix-commits, 2022/12/21
- 06/28: gnu: Add ocaml-psq., guix-commits, 2022/12/21
- 05/28: gnu: opam: Use OCaml 4.14 compiled version when building OCaml 5.0 packages., guix-commits, 2022/12/21
- 09/28: gnu: Add ocaml-hmap., guix-commits, 2022/12/21
- 11/28: gnu: Update ocaml-ppxlib to 0.25.1., guix-commits, 2022/12/21