git: 50f63e27c895 - 2026Q2 - devel/smv: builds fine on armv7

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

URL: https://cgit.FreeBSD.org/ports/commit/?id=50f63e27c8957618a14c2f0ee079eddf834f4d0d

commit 50f63e27c8957618a14c2f0ee079eddf834f4d0d
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:24:59 +0000

    devel/smv: builds fine on armv7
    
    MFH:            2026Q2
    (cherry picked from commit 25f7c062b26ce5065825b50bf673de76d79c51f3)
---
 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}