From patchwork Sun Sep 18 16:10:15 2016 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: non such X-Patchwork-Id: 15739 Received: (qmail 28785 invoked by uid 89); 18 Sep 2016 16:14:28 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Checked: by ClamAV 0.99.2 on sourceware.org X-Virus-Found: No X-Spam-SWARE-Status: No, score=-4.2 required=5.0 tests=BAYES_00, RP_MATCHES_RCVD, SPF_PASS autolearn=ham version=3.3.2 spammy=Hx-languages-length:1293 X-Spam-Status: No, score=-4.2 required=5.0 tests=BAYES_00, RP_MATCHES_RCVD, SPF_PASS autolearn=ham version=3.3.2 X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on sourceware.org X-Spam-Level: X-HELO: lists.gnu.org Received: from lists.gnu.org (HELO lists.gnu.org) (208.118.235.17) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Sun, 18 Sep 2016 16:14:18 +0000 Received: from localhost ([::1]:50754 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1blejQ-00062z-K6 for patchwork@sourceware.org; Sun, 18 Sep 2016 12:14:16 -0400 Received: from eggs.gnu.org ([2001:4830:134:3::10]:33124) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1blegg-0003fh-Ka for guix-devel@gnu.org; Sun, 18 Sep 2016 12:11:29 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1blegf-0007Vm-HN for guix-devel@gnu.org; Sun, 18 Sep 2016 12:11:26 -0400 Received: from aibo.runbox.com ([91.220.196.211]:34163) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1blegf-0007V4-Al for guix-devel@gnu.org; Sun, 18 Sep 2016 12:11:25 -0400 Received: from [10.9.9.211] (helo=mailfront11.runbox.com) by bars.runbox.com with esmtp (Exim 4.71) (envelope-from ) id 1blege-0001A2-R0 for guix-devel@gnu.org; Sun, 18 Sep 2016 18:11:24 +0200 Received: from xd9bb9a67.dyn.telefonica.de ([217.187.154.103] helo=localhost) by mailfront11.runbox.com with esmtpsa (uid:892961 ) (TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) id 1blegT-0002T8-6X; Sun, 18 Sep 2016 18:11:13 +0200 From: ng0 To: guix-devel@gnu.org Subject: [PATCH 35/42] gnu: Add ghc-chell-quickcheck-bootstrap. Date: Sun, 18 Sep 2016 16:10:15 +0000 Message-Id: <20160918161022.26135-35-ng0@we.make.ritual.n0.is> X-Mailer: git-send-email 2.10.0 In-Reply-To: <20160918161022.26135-1-ng0@we.make.ritual.n0.is> References: <20160918161022.26135-1-ng0@we.make.ritual.n0.is> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 91.220.196.211 X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+patchwork=sourceware.org@gnu.org Sender: "Guix-devel" * gnu/packages/haskell.scm (ghc-chell-quickcheck-bootstrap): New variable. --- gnu/packages/haskell.scm | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index 1ddd807..a8ace82 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -7298,4 +7298,29 @@ libraries such as @code{chell-quickcheck} to support more complex testing strategies.") (license license:expat))) +(define ghc-chell-quickcheck-bootstrap + (package + (name "ghc-chell-quickcheck-bootstrap") + (version "0.2.5") + (source + (origin + (method url-fetch) + (uri (string-append + "https://hackage.haskell.org/package/chell-quickcheck/chell-quickcheck-" + version ".tar.gz")) + (sha256 + (base32 + "02bkcnx5k6r5csdnnkvk4wfd0l36nxb87i1463ynw17n7ym9s4cs")))) + (build-system haskell-build-system) + (inputs + `(("ghc-chell" ,ghc-chell) + ("ghc-random" ,ghc-random) + ("ghc-quickcheck" ,ghc-quickcheck))) + (arguments + `(#:tests? #f)) + (home-page "https://john-millikin.com/software/chell/") + (synopsis "QuickCheck support for the Chell testing library") + (description "More complex tests for @code{chell}.") + (license license:expat))) + ;;; haskell.scm ends here