git: e2afbb4b7a27 - main - math/lean4: Broken on i386

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Fri, 19 Jan 2024 21:22:49 UTC

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=e2afbb4b7a27db953e8d5ddf2078df8f002d0e18

commit e2afbb4b7a27db953e8d5ddf2078df8f002d0e18
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-01-19 13:55:31 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-01-19 13:55:31 +0000

    math/lean4: Broken on i386
    
    Reported by:    fallout
---
 math/lean4/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/math/lean4/Makefile b/math/lean4/Makefile
index 19c791d2b07f..59197ac7f8b5 100644
--- a/math/lean4/Makefile
+++ b/math/lean4/Makefile
@@ -11,6 +11,8 @@ WWW=		https://lean-lang.org/
 LICENSE=	APACHE20
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
+BROKEN_i386=	linking fails: INTERNAL PANIC: out of memory (during: Linking runLinter)
+
 BUILD_DEPENDS=	bash:shells/bash
 LIB_DEPENDS=	libgmp.so:math/gmp