Date: Mon, 6 May 2024 08:44:47 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-branches@FreeBSD.org Subject: git: 38ef1b22f32a - 2024Q2 - math/lean4: Broken on armv7 Message-ID: <202405060844.4468ilOn058869@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch 2024Q2 has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=38ef1b22f32aa49bfb1c5304348cc1d471f3fab1 commit 38ef1b22f32aa49bfb1c5304348cc1d471f3fab1 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2024-05-06 08:43:50 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2024-05-06 08:44:40 +0000 math/lean4: Broken on armv7 Reported by: fallout (cherry picked from commit 39cc19929dda91e10fd0b92cc16b1f506cb57e2c) --- math/lean4/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index cfb76980d3a5..561c7ae4fb5f 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -10,6 +10,7 @@ WWW= https://lean-lang.org/ LICENSE= APACHE20 LICENSE_FILE= ${WRKSRC}/LICENSE +BROKEN_armv7= compilation fails: ../../.build/stage1/lib/temp/Init/Coe.depend: No such file or directory BROKEN_i386= linking fails: INTERNAL PANIC: out of memory (during: Linking runLinter) BUILD_DEPENDS= bash:shells/bash
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202405060844.4468ilOn058869>