mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2026-07-29 07:49:29 +02:00
gnu: ocaml5: Add ocaml-monolith.
* gnu/packages/ocaml5.scm (ocaml-monolith): New variable. Change-Id: Ic5a6a73548d9b7810b9b45d142604101cf9f70eb Signed-off-by: Julien Lepiller <julien@lepiller.eu>
This commit is contained in:
committed by
Julien Lepiller
parent
215b98f551
commit
f6078d4db7
@@ -1953,6 +1953,30 @@ Knuth’s LR(1) parser construction technique.")
|
||||
;; are QPL licensed.
|
||||
(license (list license:gpl2+ license:qpl))))
|
||||
|
||||
(define-public ocaml-monolith
|
||||
(package
|
||||
(name "ocaml5-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)
|
||||
(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-base
|
||||
(package
|
||||
(name "ocaml5-base")
|
||||
|
||||
Reference in New Issue
Block a user