git: f2389f083f39 - main - math/cvc5: Add PORTSCOUT line

Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Yuri Victorovich <yuri_at_FreeBSD.org>
Date: Sun, 26 Mar 2023 17:35:53 UTC

The branch main has been updated by yuri:

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

commit f2389f083f3992c10828674544e068d754db8178
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2023-03-26 07:09:05 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2023-03-26 17:35:48 +0000

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

diff --git a/math/cvc5/Makefile b/math/cvc5/Makefile
index d483e37fe108..f9fc98a3b875 100644
--- a/math/cvc5/Makefile
+++ b/math/cvc5/Makefile
@@ -87,6 +87,8 @@ LICENSE=		GPLv3
 CMAKE_ARGS+=		-DENABLE_GPL:BOOL=ON
 .endif
 
+PORTSCOUT=	limit:^cvc5-[1-9].* # prevent older generation versions like 1.8
+
 post-extract:
 	@${CP} ${DISTDIR}/antlr-3.4-complete.jar ${WRKDIR}/antlr3.jar
 	@${ECHO_CMD} "#!/bin/sh" > ${WRKDIR}/antlr3