diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-03-26 07:09:05 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-03-26 17:35:48 +0000 |
| commit | f2389f083f3992c10828674544e068d754db8178 (patch) | |
| tree | 91a8169a4cf5740c10abdfa8c9c919c4311a8627 /math | |
| parent | a2dabfc736b3242fe94587a134c3faed8300d6ff (diff) | |
| download | ports-f2389f083f3992c10828674544e068d754db8178.tar.gz ports-f2389f083f3992c10828674544e068d754db8178.zip | |
math/cvc5: Add PORTSCOUT line
Diffstat (limited to 'math')
| -rw-r--r-- | math/cvc5/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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 |