From f05d1c5718a99f52e23665198466b90228e90395 Mon Sep 17 00:00:00 2001 From: Federico Beffa Date: Fri, 27 Mar 2015 17:36:15 +0100 Subject: [PATCH 12/24] gnu: Add ghc-quickcheck. * gnu/packages/haskell.scm (ghc-quickcheck): New variable. --- gnu/packages/haskell.scm | 33 ++++++++++++++++++++++++++++++++- 1 file changed, 32 insertions(+), 1 deletion(-) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 34f098f..36b01fc 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -494,7 +494,8 @@ library, including the ability to split random number generators.") (sha256 (base32 "0445r2nns6009fmq0xbfpyv7jpzwv0snccjdg7hwj4xk4z0cwc1f")))) (build-system haskell-build-system) - (inputs + ;; these inputs are necessary to use this package + (propagated-inputs `(("ghc-primitive" ,ghc-primitive) ("ghc-random" ,ghc-random))) (home-page "http://hackage.haskell.org/package/tf-random") @@ -506,4 +507,34 @@ the paper /Splittable Pseudorandom Number Generators Using Cryptographic Hashing/ by Claessen, Pałka for details and the rationale of the design.") (license bsd-3))) +(define-public ghc-quickcheck + (package + (name "ghc-quickcheck") + (version "2.8") + (outputs '("out" "doc")) + (source + (origin + (method url-fetch) + (uri (string-append + "http://hackage.haskell.org/package/QuickCheck/QuickCheck-" + version + ".tar.gz")) + (sha256 + (base32 + "04xs6mq22bcnkpi616qrbm7jlivh9csnhmvjgp1ifq52an1wr4rx")))) + (build-system haskell-build-system) + (arguments + `(#:tests? #f ; FIXME: currently missing libraries used for tests. + #:configure-flags '("-f base4"))) + ;; these inputs are necessary to use this package + (propagated-inputs + `(("ghc-tf-random" ,ghc-tf-random))) + (home-page + "https://github.com/nick8325/quickcheck") + (synopsis + "Automatic testing of Haskell programs") + (description + "QuickCheck is a library for random testing of program properties.") + (license bsd-3))) + ;;; haskell.scm ends here -- 2.2.1