Skip site navigation (1)Skip section navigation (2)
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>