git: 25f7c062b26c - main - devel/smv: builds fine on armv7

From: Robert Clausecker <fuz_at_FreeBSD.org>
Date: Sat, 13 Jun 2026 20:24:12 UTC 
The branch main has been updated by fuz:

URL: https://cgit.FreeBSD.org/ports/commit/?id=25f7c062b26ce5065825b50bf673de76d79c51f3

commit 25f7c062b26ce5065825b50bf673de76d79c51f3
Author:     Robert Clausecker <fuz@FreeBSD.org>
AuthorDate: 2026-06-11 14:28:50 +0000
Commit:     Robert Clausecker <fuz@FreeBSD.org>
CommitDate: 2026-06-13 20:23:20 +0000

    devel/smv: builds fine on armv7
    
    MFH:            2026Q2
---
 devel/smv/Makefile | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/devel/smv/Makefile b/devel/smv/Makefile
index 0a53603da2e2..ba3bd5505315 100644
--- a/devel/smv/Makefile
+++ b/devel/smv/Makefile
@@ -9,9 +9,6 @@ MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Symbolic Model Verifier System for checking finite state systems
 WWW=		https://www.cs.cmu.edu/~modelcheck/smv.html
 
-BROKEN_armv6=		fails to build: error: non-void function check_bdd should return a value
-BROKEN_armv7=		fails to build: error: non-void function check_bdd should return a value
-
 USES=		sbrk
 USE_GCC=	yes
 WRKSRC=		${WRKDIR}/${PORTNAME}