[PATCH 12/24] gnu: Add ghc-quickcheck.

[PATCH 12/24] gnu: Add ghc-quickcheck.

[Federico Beffa]

[-- Attachment #1: Type: text/plain, Size: 5 bytes --]

Fede

[-- Attachment #2: 0012-gnu-Add-ghc-quickcheck.patch --]
[-- Type: text/x-diff, Size: 2196 bytes --]

From f05d1c5718a99f52e23665198466b90228e90395 Mon Sep 17 00:00:00 2001
From: Federico Beffa <beffa@fbengineering.ch>
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

[PATCH 12/24] gnu: Add ghc-quickcheck.

[Federico Beffa]

Federico Beffa <beffa@ieee.org> writes:

> * 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)))

I've noticed that I made a mistake. The above lines have been merged in
the 'ghc-tf-random' patch and do not appear togheter with
'ghc-quickcheck' anymore.

Regards,
Fede

Re: [PATCH 12/24] gnu: Add ghc-quickcheck.

[Ludovic Courtès]

Federico Beffa <beffa@ieee.org> skribis:

> From f05d1c5718a99f52e23665198466b90228e90395 Mon Sep 17 00:00:00 2001
> From: Federico Beffa <beffa@fbengineering.ch>
> 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.

OK for v2 of this patch.

Ludo’.