[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#47027] [PATCH 1/2] gnu: Add guile-quickcheck.
From: |
Timothy Sample |
Subject: |
[bug#47027] [PATCH 1/2] gnu: Add guile-quickcheck. |
Date: |
Tue, 9 Mar 2021 14:39:24 -0500 |
* gnu/packages/guile-xyz.scm (guile-quickcheck): New variable.
---
gnu/packages/guile-xyz.scm | 28 +++++++++++++++++++++++++++-
1 file changed, 27 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/guile-xyz.scm b/gnu/packages/guile-xyz.scm
index bd26010918..5f4329be11 100644
--- a/gnu/packages/guile-xyz.scm
+++ b/gnu/packages/guile-xyz.scm
@@ -22,7 +22,7 @@
;;; Copyright © 2018 Eric Bavier <bavier@member.fsf.org>
;;; Copyright © 2019 swedebugia <swedebugia@riseup.net>
;;; Copyright © 2019, 2020 Amar Singh <nly@disroot.org>
-;;; Copyright © 2019 Timothy Sample <samplet@ngyro.com>
+;;; Copyright © 2019, 2021 Timothy Sample <samplet@ngyro.com>
;;; Copyright © 2019, 2020 Martin Becze <mjbecze@riseup.net>
;;; Copyright © 2020 Evan Straw <evan.straw99@gmail.com>
;;; Copyright © 2020 Jack Hill <jackhill@jackhill.us>
@@ -4616,3 +4616,29 @@ binary which is smaller and faster to generate and
parse. This package provides
a Guile implementation of CBOR.")
(home-page "https://inqlab.net/git/guile-cbor.git")
(license license:gpl3+)))
+
+(define-public guile-quickcheck
+ (package
+ (name "guile-quickcheck")
+ (version "0.1.0")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://files.ngyro.com/"
+ "guile-quickcheck/guile-quickcheck-"
+ version ".tar.gz"))
+ (sha256
+ (base32
+ "03mwi1l3354x52nar0zwhcm0x29yai9xjln4p4gbchwvx5dsr6fb"))))
+ (build-system gnu-build-system)
+ (native-inputs
+ `(("pkg-config" ,pkg-config)))
+ (inputs
+ `(("guile" ,guile-3.0)))
+ (home-page "https://ngyro.com/software/guile-quickcheck.html")
+ (synopsis "Randomized property-based testing for Guile")
+ (description "This Guile library provides tools for randomized,
+property-based testing. It follows closely the QuickCheck library
+written in Haskell. You can use it to define a property (a predicate
+with specifications for its inputs) and test it by generating many
+random inputs and seeing if it holds.")
+ (license license:gpl3+)))
--
2.30.1
- [bug#47027] Disarchive package, Timothy Sample, 2021/03/09
- [bug#47027] [PATCH 1/2] gnu: Add guile-quickcheck.,
Timothy Sample <=
- [bug#47027] [PATCH 2/2] gnu: Add disarchive., Timothy Sample, 2021/03/09
- [bug#47027] [PATCH 2/2] gnu: Add disarchive., Leo Prikler, 2021/03/10
- [bug#47027] Disarchive package, Ludovic Courtès, 2021/03/11
- [bug#47027] Disarchive package, Tobias Geerinckx-Rice, 2021/03/11
- [bug#47027] Disarchive package, Timothy Sample, 2021/03/11
- [bug#47027] Disarchive package, Leo Prikler, 2021/03/12
- [bug#47027] Disarchive package, Ludovic Courtès, 2021/03/12
- [bug#47027] Disarchive package, Ludovic Courtès, 2021/03/21
- [bug#47027] Disarchive package, Leo Prikler, 2021/03/21
- [bug#47027] Disarchive package, Timothy Sample, 2021/03/21