Date: Sun, 2 Oct 2022 22:33:05 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: ba7784a72cba - main - math/lean: Broken on aarch64 Message-ID: <202210022233.292MX5TX010352@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202210022233.292MX5TX010352>