From: Reily Siegel <mail@reilysiegel.com>
To: 48735@debbugs.gnu.org
Subject: [bug#48735] [PATCH v2 04/10] gnu: Add clojure-test-check.
Date: Thu, 23 Dec 2021 18:04:31 -0500 [thread overview]
Message-ID: <9e561666cdecbd9cef4d9db0e5136ae8b918771b.1640300654.git.mail@reilysiegel.com> (raw)
In-Reply-To: <28950252d5f801644706d747b97e46ed4796181f.1640300654.git.mail@reilysiegel.com>
* gnu/packages/clojure.scm (clojure-test-check): New variable.
---
gnu/packages/clojure.scm | 27 +++++++++++++++++++++++++++
1 file changed, 27 insertions(+)
diff --git a/gnu/packages/clojure.scm b/gnu/packages/clojure.scm
index f48101079e..463d0fb46c 100644
--- a/gnu/packages/clojure.scm
+++ b/gnu/packages/clojure.scm
@@ -295,6 +295,33 @@ (define-public clojure-instaparse
(home-page "https://github.com/Engelberg/instaparse")
(license license:epl1.0))))
+(define-public clojure-test-check
+ (package
+ (name "clojure-test-check")
+ (version "1.1.1")
+ (home-page "https://github.com/clojure/test.check")
+ (source (origin
+ (method git-fetch)
+ (uri (git-reference
+ (url home-page)
+ (commit (string-append "v" version))))
+ (file-name (git-file-name name version))
+ (sha256
+ (base32
+ "09jvlibnxhjv0l57y0sa7yy5in67gq4sssag77hv2d980mwdnls6"))))
+ (build-system clojure-build-system)
+ (arguments
+ '(#:source-dirs '("src/main/clojure")
+ #:test-dirs '("src/test/clojure")
+ #:doc-dirs '()))
+ (synopsis "QuickCheck for Clojure")
+ (description "@code{test.check} is a Clojure property-based testing tool
+inspired by QuickCheck. The core idea of @code{test.check} is that instead of
+enumerating expected input and output for unit tests, you write properties
+about your function that should hold true for all inputs. This lets you write
+concise, powerful tests.")
+ (license license:epl1.0)))
+
(define-public clojure-tools-macro
(package
(name "clojure-tools-macro")
--
2.34.0
next prev parent reply other threads:[~2021-12-23 23:05 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-30 2:10 [bug#48735] [PATCH] gnu: Add clojure-tools Reily Siegel
2021-05-31 9:15 ` Maxime Devos
2021-09-03 16:11 ` Ludovic Courtès
[not found] ` <87r1e5636w.fsf@reilysiegel.com>
2021-09-06 7:56 ` bug#48735: " Ludovic Courtès
2021-12-23 23:04 ` [bug#48735] [PATCH v2 01/10] gnu: Add maven-resolver-transport-file Reily Siegel
2021-12-23 23:04 ` [bug#48735] [PATCH v2 02/10] gnu: Add maven-resolver-transport-http Reily Siegel
2021-12-23 23:04 ` [bug#48735] [PATCH v2 03/10] build: clojure-utils: Don't try to compile Clojure Reily Siegel
2021-12-23 23:04 ` Reily Siegel [this message]
2021-12-23 23:04 ` [bug#48735] [PATCH v2 05/10] gnu: Add clojure-tools-gitlibs Reily Siegel
2021-12-23 23:04 ` [bug#48735] [PATCH v2 06/10] gnu: Add clojure-data-codec Reily Siegel
2021-12-23 23:04 ` [bug#48735] [PATCH v2 07/10] gnu: Add clojure-data-xml Reily Siegel
2021-12-23 23:04 ` [bug#48735] [PATCH v2 08/10] gnu: Add clojure-tools-deps-alpha Reily Siegel
2021-12-23 23:04 ` [bug#48735] [PATCH v2 09/10] gnu: Add clojure-tools Reily Siegel
2021-12-23 23:04 ` [bug#48735] [PATCH v2 10/10] gnu: clojure: Remove wrapper in favor of using Reily Siegel
2022-01-12 8:45 ` [bug#48735] [PATCH] gnu: Add clojure-tools Ricardo Wurmus
2022-01-12 16:44 ` bug#48735: " Ricardo Wurmus
2022-01-12 9:23 ` [bug#48735] " Reily Siegel
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=9e561666cdecbd9cef4d9db0e5136ae8b918771b.1640300654.git.mail@reilysiegel.com \
--to=mail@reilysiegel.com \
--cc=48735@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).