git: ba7784a72cba - main - math/lean: Broken on aarch64

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Sun, 02 Oct 2022 22:33:05 UTC 
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=ba7784a72cbac279e18be84e545b34a27b9f4599

commit ba7784a72cbac279e18be84e545b34a27b9f4599
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2022-10-02 22:32:21 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2022-10-02 22:33:03 +0000

    math/lean: Broken on aarch64
    
    Reported by:    fallout
---
 math/lean/Makefile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/math/lean/Makefile b/math/lean/Makefile
index 37d748362d9c..6dd67cbbd476 100644
--- a/math/lean/Makefile
+++ b/math/lean/Makefile
@@ -14,6 +14,8 @@ WWW=		https://leanprover-community.github.io/
 LICENSE=	APACHE20
 LICENSE_FILE=	${WRKSRC}/../LICENSE
 
+BROKEN_aarch64=	c++ crashes during link on arm64 on math/lean, see https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=266777
+
 LIB_DEPENDS=	libgmp.so:math/gmp
 
 USES=		cmake:testing compiler:c++11-lang