* [PATCH 12/24] gnu: Add ghc-quickcheck.
@ 2015-04-07 12:24 Federico Beffa
0 siblings, 0 replies; 3+ messages in thread
From: Federico Beffa @ 2015-04-07 12:24 UTC (permalink / raw)
To: Guix-devel
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
^ permalink raw reply [flat|nested] 3+ messages in thread
* [PATCH 12/24] gnu: Add ghc-quickcheck.
@ 2015-04-06 16:48 Federico Beffa
2015-04-08 8:08 ` Ludovic Courtès
0 siblings, 1 reply; 3+ messages in thread
From: Federico Beffa @ 2015-04-06 16:48 UTC (permalink / raw)
To: Guix-devel
[-- 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
^ permalink raw reply related [flat|nested] 3+ messages in thread
* Re: [PATCH 12/24] gnu: Add ghc-quickcheck.
2015-04-06 16:48 Federico Beffa
@ 2015-04-08 8:08 ` Ludovic Courtès
0 siblings, 0 replies; 3+ messages in thread
From: Ludovic Courtès @ 2015-04-08 8:08 UTC (permalink / raw)
To: Federico Beffa; +Cc: Guix-devel
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’.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2015-04-08 8:08 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-04-07 12:24 [PATCH 12/24] gnu: Add ghc-quickcheck Federico Beffa
-- strict thread matches above, loose matches on Subject: below --
2015-04-06 16:48 Federico Beffa
2015-04-08 8:08 ` Ludovic Courtès
Code repositories for project(s) associated with this external index
https://git.savannah.gnu.org/cgit/guix.git
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.