From ba7784a72cbac279e18be84e545b34a27b9f4599 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Sun, 2 Oct 2022 15:32:21 -0700 Subject: [PATCH] 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