[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
16/27: gnu: Add ghc-quickcheck.
From: |
Federico Beffa |
Subject: |
16/27: gnu: Add ghc-quickcheck. |
Date: |
Wed, 08 Apr 2015 15:31:50 +0000 |
beffa pushed a commit to branch master
in repository guix.
commit dc0ae39a8f53d7672962e3640a18b51bb14eb8a5
Author: Federico Beffa <address@hidden>
Date: Tue Apr 7 14:03:00 2015 +0200
gnu: Add ghc-quickcheck.
* gnu/packages/haskell.scm (ghc-quickcheck): New variable.
---
gnu/packages/haskell.scm | 30 ++++++++++++++++++++++++++++++
1 files changed, 30 insertions(+), 0 deletions(-)
diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm
index 088a154..31bc5ff 100644
--- a/gnu/packages/haskell.scm
+++ b/gnu/packages/haskell.scm
@@ -507,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
- 05/27: gnu: Add ghc-mtl., (continued)
- 05/27: gnu: Add ghc-mtl., Federico Beffa, 2015/04/08
- 07/27: gnu: Add ghc-zlib., Federico Beffa, 2015/04/08
- 01/27: import: Add hackage importer., Federico Beffa, 2015/04/08
- 14/27: gnu: Add ghc-primitive., Federico Beffa, 2015/04/08
- 02/27: import: Add hackage importer., Federico Beffa, 2015/04/08
- 08/27: gnu: Add ghc-stm., Federico Beffa, 2015/04/08
- 13/27: gnu: Add ghc-random., Federico Beffa, 2015/04/08
- 11/27: gnu: Add ghc-hashable., Federico Beffa, 2015/04/08
- 22/27: gnu: Add ghc-split., Federico Beffa, 2015/04/08
- 20/27: gnu: Add ghc-fgl., Federico Beffa, 2015/04/08
- 16/27: gnu: Add ghc-quickcheck.,
Federico Beffa <=
- 09/27: gnu: Add ghc-parallel., Federico Beffa, 2015/04/08
- 12/27: gnu: Add ghc-hunit, Federico Beffa, 2015/04/08
- 06/27: gnu: Add ghc-paths., Federico Beffa, 2015/04/08
- 18/27: gnu: Add ghc-syb., Federico Beffa, 2015/04/08
- 10/27: gnu: Add ghc-text., Federico Beffa, 2015/04/08
- 17/27: gnu: Add ghc-case-insensitive., Federico Beffa, 2015/04/08
- 21/27: gnu: Add ghc-unordered-containers., Federico Beffa, 2015/04/08
- 19/27: gnu: Add ghc-containers., Federico Beffa, 2015/04/08
- 15/27: gnu: Add ghc-tf-random., Federico Beffa, 2015/04/08
- 25/27: gnu: Add ghc-network., Federico Beffa, 2015/04/08