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