Date: Sun, 23 Aug 2020 15:57:49 +0000 (UTC) From: Gleb Popov <arrowd@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r545826 - in head/math/hs-Agda: . files Message-ID: <202008231557.07NFvnJn033319@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202008231557.07NFvnJn033319>