Date: Sun, 26 Mar 2023 17:35:53 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: f2389f083f39 - main - math/cvc5: Add PORTSCOUT line Message-ID: <202303261735.32QHZrd0099736@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202303261735.32QHZrd0099736>