svn commit: r547165 - head/math/hs-Agda

Gleb Popov arrowd at FreeBSD.org
Mon Aug 31 10:58:31 UTC 2020


Author: arrowd
Date: Mon Aug 31 10:58:30 2020
New Revision: 547165
URL: https://svnweb.freebsd.org/changeset/ports/547165

Log:
  math/hs-Agda: Mark BROKEN on i386. There is a hope that the sutiation will improve
  in new GHC releases.

Modified:
  head/math/hs-Agda/Makefile

Modified: head/math/hs-Agda/Makefile
==============================================================================
--- head/math/hs-Agda/Makefile	Mon Aug 31 10:03:43 2020	(r547164)
+++ head/math/hs-Agda/Makefile	Mon Aug 31 10:58:30 2020	(r547165)
@@ -9,6 +9,8 @@ CATEGORIES=	math haskell
 MAINTAINER=	haskell at FreeBSD.org
 COMMENT=	Dependently typed functional programming language and proof assistant
 
+BROKEN_i386=	Compiler goes out of memory
+
 BUILD_DEPENDS=	emacs:editors/emacs
 
 USES=		cabal


More information about the svn-ports-all mailing list