From 15b7c512e6db44db9e0482a804e3a6ffd0fcfda9 Mon Sep 17 00:00:00 2001
From: Yuri Victorovich <yuri@FreeBSD.org>
Date: Thu, 14 Sep 2023 00:04:49 -0700
Subject: math/vampire: Add PORTSCOUT line

---
 math/vampire/Makefile | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'math/vampire')

diff --git a/math/vampire/Makefile b/math/vampire/Makefile
index 74b11062d4bf..f3e87bfec4a9 100644
--- a/math/vampire/Makefile
+++ b/math/vampire/Makefile
@@ -21,6 +21,8 @@ CMAKE_ARGS=	-DCMAKE_BUILD_HOL=On # code is broken w/out this
 
 PLIST_FILES=	bin/${PORTNAME}
 
+PORTSCOUT=	limit:^.*[1-9]\.[1-9].*$$ # prevent tags like sledgehammerScheds
+
 do-install:
 	${INSTALL_PROGRAM} ${BUILD_WRKSRC}/bin/${PORTNAME}* ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
 
-- 
cgit v1.3