git: 207e08be53a9 - main - devel/ikos: Broken on armv7

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Fri, 14 Jun 2024 21:32:25 UTC 
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 \