git: 38ef1b22f32a - 2024Q2 - math/lean4: Broken on armv7
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Mon, 06 May 2024 08:44:47 UTC
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