>From f00486188ee276c59926ea940b3bc3d81d913e9d Mon Sep 17 00:00:00 2001 From: Julien Lepiller Date: Sat, 22 Apr 2017 11:09:27 +0200 Subject: [PATCH 1/2] gnu: Add ocaml-qcheck. * gnu/packages/ocaml.scm (ocaml-qcheck): 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 169e42236..1a1cef353 100644 --- a/gnu/packages/ocaml.scm +++ b/gnu/packages/ocaml.scm @@ -969,6 +969,29 @@ It provides support for ANSI C syntax, old-C K&R style syntax and the standard GNU CC attributes. It provides also a C pretty printer as an example of use.") (license license:lgpl2.1))) +(define-public ocaml-qcheck + (package + (name "ocaml-qcheck") + (version "0.5.3.1") + (source (origin + (method url-fetch) + (uri (string-append "https://github.com/c-cube/qcheck/archive/" + version ".tar.gz")) + (file-name (string-append name "-" version ".tar.gz")) + (sha256 + (base32 + "1zs1pg5cb1iry554v3cdmmiglsrwmsqa9x8zxmzb118fnk5d3ha6")))) + (build-system ocaml-build-system) + (native-inputs + `(("ounit" ,ocaml-ounit))) + (home-page "https://github.com/c-cube/qcheck") + (synopsis "QuickCheck inspired property-based testing for OCaml") + (description "QuickCheck inspired property-based testing for OCaml. This +module allows to check invariants (properties of some types) over randomly +generated instances of the type. It provides combinators for generating +instances and printing them.") + (license license:lgpl3+))) + (define-public ocaml-qtest (package (name "ocaml-qtest") -- 2.12.2