guix-commits
[Top][All Lists]
Advanced

[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")



reply via email to

[Prev in Thread] Current Thread [Next in Thread]