diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2023-09-14 07:04:49 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2023-09-14 07:53:02 +0000 |
| commit | 15b7c512e6db44db9e0482a804e3a6ffd0fcfda9 (patch) | |
| tree | 97aa0e29dec51d8c71c23a67e889f6aed8340070 /math/vampire | |
| parent | 7bb7c21f9d575b7b684a9ce632c1d9eca67f843d (diff) | |
Diffstat (limited to 'math/vampire')
| -rw-r--r-- | math/vampire/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
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} |