Date: Fri, 14 Jun 2024 21:32:25 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: 207e08be53a9 - main - devel/ikos: Broken on armv7 Message-ID: <202406142132.45ELWPYK008089@gitrepo.freebsd.org>
index | next in thread | raw e-mail
The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=207e08be53a968a09977afbbba403dacdb7e15c1 commit 207e08be53a968a09977afbbba403dacdb7e15c1 Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2024-06-14 21:24:51 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2024-06-14 21:32:04 +0000 devel/ikos: Broken on armv7 Reported by: fallout --- devel/ikos/Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/devel/ikos/Makefile b/devel/ikos/Makefile index b8c6b4b59283..c2416a9b0116 100644 --- a/devel/ikos/Makefile +++ b/devel/ikos/Makefile @@ -11,6 +11,8 @@ WWW= https://github.com/NASA-SW-VnV/ikos LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.pdf +BROKEN_armv7= configure fails: error when running a program linked with GMP: Segmentation fault + BUILD_DEPENDS= llvm${LLVM_VERSION}>0:devel/llvm${LLVM_VERSION} LIB_DEPENDS= libapron.so:math/apron \ libboost_system.so:devel/boost-libs \home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202406142132.45ELWPYK008089>