git: ba7784a72cba - main - math/lean: Broken on aarch64
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
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