[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
18/25: gnu: Add ocaml-base-quickcheck.
From: |
guix-commits |
Subject: |
18/25: gnu: Add ocaml-base-quickcheck. |
Date: |
Mon, 11 Apr 2022 06:18:52 -0400 (EDT) |
civodul pushed a commit to branch master
in repository guix.
commit 49a106f14e7c7db60643125b972d4634ca5647f1
Author: Julien Lepiller <julien@lepiller.eu>
AuthorDate: Fri Apr 8 15:22:58 2022 +0200
gnu: Add ocaml-base-quickcheck.
* gnu/packages/ocaml.scm (ocaml-base-quickcheck): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
---
gnu/packages/ocaml.scm | 33 +++++++++++++++++++++++++++++++++
1 file changed, 33 insertions(+)
diff --git a/gnu/packages/ocaml.scm b/gnu/packages/ocaml.scm
index ec2d8ab12e..a57ec2b05f 100644
--- a/gnu/packages/ocaml.scm
+++ b/gnu/packages/ocaml.scm
@@ -6614,6 +6614,39 @@ cryptographic-quality randomness in favor of
performance.")
(properties '())
(license license:asl2.0))))
+(define-public ocaml-base-quickcheck
+ (package
+ (name "ocaml-base-quickcheck")
+ (version "0.14.1")
+ (source
+ (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url "https://github.com/janestreet/base_quickcheck")
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32 "0apq3d9xb0zdaqsl4cjk5skyig57ff1plndb2mh0nn3czvfhifxs"))))
+ (build-system dune-build-system)
+ (propagated-inputs
+ (list ocaml-base
+ ocaml-ppx-base
+ ocaml-ppx-fields-conv
+ ocaml-ppx-let
+ ocaml-ppx-sexp-message
+ ocaml-ppx-sexp-value
+ ocaml-splittable-random
+ ocaml-ppxlib))
+ (properties `((upstream-name . "base_quickcheck")))
+ (home-page "https://github.com/janestreet/base_quickcheck")
+ (synopsis
+ "Randomized testing framework, designed for compatibility with Base")
+ (description
+ "@samp{base-quickcheck} provides randomized testing in the style of
+Haskell's Quickcheck library, with support for built-in types as well as
+types provided by Base.")
+ (license license:expat)))
+
(define-public ocaml4.07-jane-street-headers
(package
(name "ocaml4.07-jane-street-headers")
- 04/25: gnu: Add ocaml-spawn., (continued)
- 04/25: gnu: Add ocaml-spawn., guix-commits, 2022/04/11
- 05/25: gnu: Add ocaml-typerep., guix-commits, 2022/04/11
- 06/25: gnu: Add ocaml-ppx-typerep-conv., guix-commits, 2022/04/11
- 07/25: gnu: Add ocaml-ppx-string., guix-commits, 2022/04/11
- 09/25: gnu: Add ocaml-ppx-pipebang., guix-commits, 2022/04/11
- 10/25: gnu: Add ocaml-ppx-module-timer., guix-commits, 2022/04/11
- 01/25: gnu: ocaml-odoc: Update to 2.2.0-alpha., guix-commits, 2022/04/11
- 03/25: import: opam: Factor out source import., guix-commits, 2022/04/11
- 02/25: import: opam: Accept tabulations., guix-commits, 2022/04/11
- 17/25: gnu: Add ocaml-splittable-random., guix-commits, 2022/04/11
- 18/25: gnu: Add ocaml-base-quickcheck.,
guix-commits <=
- 11/25: gnu: Add ocaml-ppx-fixed-literal., guix-commits, 2022/04/11
- 12/25: gnu: Add ocaml-bin-prot., guix-commits, 2022/04/11
- 16/25: gnu: Add ocaml-ppx-sexp-message., guix-commits, 2022/04/11
- 19/25: gnu: Add ocaml-ppx-fail., guix-commits, 2022/04/11
- 21/25: gnu: Add ocaml-base-bigstring., guix-commits, 2022/04/11
- 08/25: gnu: Add ocaml-ppx-stable., guix-commits, 2022/04/11
- 20/25: gnu: Add ocaml-ppx-jane., guix-commits, 2022/04/11
- 24/25: gnu: ocaml-jane-street-headers: Add variant., guix-commits, 2022/04/11
- 13/25: gnu: Add ocaml-ppx-bin-prot., guix-commits, 2022/04/11
- 14/25: gnu: Add ocaml-ppx-bench., guix-commits, 2022/04/11