Date: Mon, 6 May 2024 08:44:30 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: 39cc19929dda - main - math/lean4: Broken on armv7 Message-ID: <202405060844.4468iUjP058546@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=39cc19929dda91e10fd0b92cc16b1f506cb57e2c commit 39cc19929dda91e10fd0b92cc16b1f506cb57e2c 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:43:50 +0000 math/lean4: Broken on armv7 Reported by: fallout --- math/lean4/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/math/lean4/Makefile b/math/lean4/Makefile index 66c8a8cf5adc..cbc4e5280841 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.4468iUjP058546>