GNU bug report logs - #30563
[PATCH] add Agda.

Previous Next

Package: guix-patches;

Reported by: Alex ter Weele <alex.ter.weele <at> gmail.com>

Date: Wed, 21 Feb 2018 01:24:02 UTC

Severity: normal

Tags: patch

Done: Marius Bakke <mbakke <at> fastmail.com>

Bug is archived. No further changes may be made.

Full log

Message #8 received at 30563 <at> debbugs.gnu.org (full text, mbox):

From: Alex ter Weele <alex.ter.weele <at> gmail.com>
To: bug#30563 <30563 <at> debbugs.gnu.org>
Subject: Re: Status: [PATCH] add Agda.
Date: Tue, 20 Feb 2018 19:36:41 -0600

[0001-gnu-ghc-edit-distance-Allow-newer-version-of-QuickCh.patch (text/x-patch, inline)]
From b107451e58413a1a86fc4fb7a5a9b650f234f73c Mon Sep 17 00:00:00 2001
From: Alex ter Weele <alex.ter.weele <at> gmail.com>
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
This bug report was last modified 7 years and 88 days ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.