svn commit: r545826 - in head/math/hs-Agda: . files

[Gleb Popov]

Author: arrowd
Date: Sun Aug 23 15:57:48 2020
New Revision: 545826
URL: https://svnweb.freebsd.org/changeset/ports/545826

Log:
  math/hs-Agda: Fix build with new GHC.
  
  Reported by:	pkg-fallout

Added:
  head/math/hs-Agda/files/
  head/math/hs-Agda/files/patch-Agda.cabal   (contents, props changed)
Modified:
  head/math/hs-Agda/Makefile

Modified: head/math/hs-Agda/Makefile
==============================================================================
--- head/math/hs-Agda/Makefile	Sun Aug 23 15:36:36 2020	(r545825)
+++ head/math/hs-Agda/Makefile	Sun Aug 23 15:57:48 2020	(r545826)
@@ -3,7 +3,7 @@
 
 PORTNAME=	Agda
 PORTVERSION=	2.6.1
-PORTREVISION=	4
+PORTREVISION=	5
 CATEGORIES=	math haskell
 
 MAINTAINER=	haskell at FreeBSD.org

Added: head/math/hs-Agda/files/patch-Agda.cabal
==============================================================================
--- /dev/null	00:00:00 1970	(empty, because file is newly added)
+++ head/math/hs-Agda/files/patch-Agda.cabal	Sun Aug 23 15:57:48 2020	(r545826)
@@ -0,0 +1,11 @@
+--- Agda.cabal.orig	2020-03-16 02:17:02 UTC
++++ Agda.cabal
+@@ -238,7 +238,7 @@ library
+   -- In hTags the mtl library must be compiled with the version of
+   -- transformers shipped with GHC, so we use that version in Agda (see,
+   -- for example, Issue #2983).
+-  if impl(ghc >= 8.6.4) && impl(ghc < 8.10.2)
++  if impl(ghc >= 8.6.4) && impl(ghc < 8.10.99)
+     build-depends: transformers == 0.5.6.2
+ 
+   if impl(ghc >= 8.4) && impl(ghc < 8.6.4)