From 4cd88522f233dcb9affa3d3b0eada154439487c1 Mon Sep 17 00:00:00 2001 From: Timothy Sample Date: Tue, 9 Mar 2021 14:39:24 -0500 Subject: [PATCH] gnu: Add guile-quickcheck. * gnu/packages/guile-xyz.scm (guile-quickcheck): New variable. --- gnu/packages/guile-xyz.scm | 27 ++++++++++++++++++++++++++- 1 file changed, 26 insertions(+), 1 deletion(-) diff --git a/gnu/packages/guile-xyz.scm b/gnu/packages/guile-xyz.scm index 9f4118f083..28e7c798a7 100644 --- a/gnu/packages/guile-xyz.scm +++ b/gnu/packages/guile-xyz.scm @@ -22,7 +22,7 @@ ;;; Copyright © 2018 Eric Bavier ;;; Copyright © 2019 swedebugia ;;; Copyright © 2019, 2020 Amar Singh -;;; Copyright © 2019 Timothy Sample +;;; Copyright © 2019, 2021 Timothy Sample ;;; Copyright © 2019, 2020 Martin Becze ;;; Copyright © 2020 Evan Straw ;;; Copyright © 2020 Jack Hill @@ -4619,3 +4619,28 @@ (define-public guile-cbor 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 "Guile-Quickcheck is a library for random testing of program +properties inspired by ghc-quickcheck. You can use it to express properties, +which functions should satisfy, as Scheme code and then check whether they hold +in a large number of randomly generated test cases.") + (license license:gpl3+)))