From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:57359) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eoJLF-0007Wv-Gh for guix-patches@gnu.org; Tue, 20 Feb 2018 20:37:06 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eoJLC-00014f-AI for guix-patches@gnu.org; Tue, 20 Feb 2018 20:37:05 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:45545) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1eoJLC-000145-4k for guix-patches@gnu.org; Tue, 20 Feb 2018 20:37:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1eoJLB-0004If-OJ for guix-patches@gnu.org; Tue, 20 Feb 2018 20:37:01 -0500 Subject: [bug#30563] Status: [PATCH] add Agda. References: <87bmgj9lvp.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> Resent-Message-ID: From: Alex ter Weele Date: Tue, 20 Feb 2018 19:36:41 -0600 In-Reply-To: bug's message of "Wed\, 21 Feb 2018 01\:34\:59 +0000" Message-ID: <87zi4386om.fsf@librem.i-did-not-set--mail-host-address--so-tickle-me> MIME-Version: 1.0 Content-Type: text/x-patch Content-Disposition: inline; filename=0001-gnu-ghc-edit-distance-Allow-newer-version-of-QuickCh.patch List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: bug#30563 <30563@debbugs.gnu.org> >From b107451e58413a1a86fc4fb7a5a9b650f234f73c Mon Sep 17 00:00:00 2001 From: Alex ter Weele Date: Tue, 20 Feb 2018 18:49:41 -0600 Subject: [PATCH 1/4] gnu: ghc-edit-distance: Allow newer version of QuickCheck. * gnu/packages/haskell.scm (ghc-edit-distance)[arguments]: Allow running tests with newer version of QuickCheck. --- gnu/packages/haskell.scm | 2 ++ 1 file changed, 2 insertions(+) diff --git a/gnu/packages/haskell.scm b/gnu/packages/haskell.scm index e62c405ab..737b7a4cd 100644 --- a/gnu/packages/haskell.scm +++ b/gnu/packages/haskell.scm @@ -5755,6 +5755,8 @@ representations of current time.") (sha256 (base32 "0jkca97zyv23yyilp3jydcrzxqhyk27swhzh82llvban5zp8b21y")))) (build-system haskell-build-system) + (arguments + `(#:configure-flags (list "--allow-newer=QuickCheck"))) (inputs `(("ghc-random" ,ghc-random) ("ghc-test-framework" ,ghc-test-framework) -- 2.16.1