Date: Mon, 31 Aug 2020 10:58:31 +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: r547165 - head/math/hs-Agda Message-ID: <202008311058.07VAwVdp042318@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202008311058.07VAwVdp042318>