mirror of
https://codeberg.org/guix/guix.git
synced 2025-10-02 02:15:12 +00:00
gnu: Add ocaml-monolith.
* gnu/packages/ocaml.scm (ocaml-monolith): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
This commit is contained in:
parent
a8e1dc8edf
commit
c60fae72d8
1 changed files with 25 additions and 0 deletions
|
@ -8665,6 +8665,31 @@ Using this package, you can run afl-fuzz in ``persistent mode'', which avoids
|
||||||
repeated forking and is much faster.")
|
repeated forking and is much faster.")
|
||||||
(license license:expat)))
|
(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
|
(define-public ocaml-pprint
|
||||||
(package
|
(package
|
||||||
(name "ocaml-pprint")
|
(name "ocaml-pprint")
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue