git: 15b7c512e6db - main - math/vampire: Add PORTSCOUT line

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Thu, 14 Sep 2023 07:53:07 UTC 
The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=15b7c512e6db44db9e0482a804e3a6ffd0fcfda9

commit 15b7c512e6db44db9e0482a804e3a6ffd0fcfda9
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-09-14 07:04:49 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-09-14 07:53:02 +0000

    math/vampire: Add PORTSCOUT line
---
 math/vampire/Makefile | 2 ++
 1 file changed, 2 insertions(+)

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}