From mboxrd@z Thu Jan 1 00:00:00 1970 From: Paul van der Walt Subject: [PATCH 065/105] gnu: Add ghc-smallcheck. Date: Thu, 15 Oct 2015 17:28:48 +0200 Message-ID: <1444922968-9205-23-git-send-email-paul@denknerd.org> References: <1444914384-24847-1-git-send-email-paul@denknerd.org> <1444922968-9205-1-git-send-email-paul@denknerd.org> Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:47224) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZmkTp-0007mX-28 for guix-devel@gnu.org; Thu, 15 Oct 2015 11:30:09 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZmkTk-0001oZ-Pe for guix-devel@gnu.org; Thu, 15 Oct 2015 11:30:08 -0400 Received: from mx01.mykolab.com ([95.128.36.1]:42151 helo=mx-out01.mykolab.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZmkTk-0001o9-Iy for guix-devel@gnu.org; Thu, 15 Oct 2015 11:30:04 -0400 Received: from mx08.mykolab.com (unknown [10.20.7.48]) by mx-out01.mykolab.com (Postfix) with ESMTPS id EF3A562580 for ; Thu, 15 Oct 2015 17:30:02 +0200 (CEST) In-Reply-To: <1444922968-9205-1-git-send-email-paul@denknerd.org> 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+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: guix-devel@gnu.org * gnu/packages/haskell.scm (ghc-smallcheck): New variable. --- gnu/packages/haskell.scm | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index a041a35..84b1bff 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -1394,6 +1394,34 @@ use them without linking against Cabal or depending on it being installed. This is a better maintained fork of the \"temporary\" package.") (license bsd-3))) +(define-public ghc-smallcheck + (package + (name "ghc-smallcheck") + (version "1.1.1") + (source + (origin + (method url-fetch) + (uri (string-append + "http://hackage.haskell.org/package/smallcheck/smallcheck-" + version + ".tar.gz")) + (sha256 + (base32 + "1ygrabxh40bym3grnzqyfqn96lirnxspb8cmwkkr213239y605sd")))) + (build-system haskell-build-system) + (propagated-inputs + `(("ghc-logict" ,ghc-logict))) + (inputs + `(("ghc-mtl" ,ghc-mtl))) + (home-page + "https://github.com/feuerbach/smallcheck") + (synopsis "A property-based testing library") + (description + "SmallCheck is a testing library that allows to verify properties for all +test cases up to some depth. The test cases are generated automatically by +SmallCheck.") + (license bsd-3))) + (define-public ghc-silently (package (name "ghc-silently") -- 2.6.1