Date: Fri, 19 Jan 2024 21:22:49 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: e2afbb4b7a27 - main - math/lean4: Broken on i386 Message-ID: <202401192122.40JLMnoJ017266@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202401192122.40JLMnoJ017266>