diff --git a/math/vampire/Makefile b/math/vampire/Makefile
index f3e87bfec4a9..79f853e44849 100644
--- a/math/vampire/Makefile
+++ b/math/vampire/Makefile
@@ -1,29 +1,31 @@
 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_armv7=	error: static_assert failed due to requirement 'sizeof(void *) == 8'
 BROKEN_i386=	error: static_assert failed due to requirement 'sizeof(void *) == 8'
+BROKEN_powerpc=	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 <bsd.port.mk>