math/lean: Broken on aarch64

Reported by: fallout
freebsd · Oct 2, 2022 · ba7784a · ba7784a
1 parent 00ce739
commit ba7784a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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