diff --git a/math/vampire/Makefile b/math/vampire/Makefile index 74b11062d4bf..f3e87bfec4a9 100644 --- a/math/vampire/Makefile +++ b/math/vampire/Makefile @@ -1,27 +1,29 @@ PORTNAME= vampire DISTVERSIONPREFIX= vHO DISTVERSION= 4.8 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org COMMENT= Automatic theorem prover WWW= https://vprover.github.io/ LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/LICENCE BROKEN_i386= error: static_assert failed due to requirement 'sizeof(void *) == 8' USES= cmake compiler:c++14-lang USE_GITHUB= yes GH_ACCOUNT= vprover 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} .include