math/lean: Broken on aarch64

Reported by: fallout
2022-10-02 15:32:21 -07:00 · 2022-10-02 15:32:21 -07:00 · ba7784a72c
commit ba7784a72c
parent 00ce739a3c
1 changed files with 2 additions and 0 deletions
--- 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