diff --git a/math/vampire/Makefile b/math/vampire/Makefile
index c4c2a5f24c37..e6c388df2c19 100644
--- a/math/vampire/Makefile
+++ b/math/vampire/Makefile
@@ -1,32 +1,34 @@
 PORTNAME=	vampire
 DISTVERSIONPREFIX=	v
 DISTVERSION=	4.7-423
 DISTVERSIONSUFFIX=	-gc1643839b
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Automatic theorem prover
 WWW=		https://vprover.github.io/
 
 LICENSE=	BSD2CLAUSE
 LICENSE_FILE=	${WRKSRC}/LICENCE
 
+BROKEN_i386=	error: static_assert failed due to requirement 'sizeof(void *) == 8'
+
 USES=		compiler:c++11-lang gmake
 USE_GITHUB=	yes
 GH_ACCOUNT=	vprover
 
 ALL_TARGET=	vampire_rel # do we also need the z3 target?
 
 BINARY_ALIAS=	g++=${CXX}
 
 CXXFLAGS+=	-DCHECK_LEAKS=0
 MAKE_ARGS=	FREEBSD_VERSION_NUMBER="${PORTVERSION}"
 
 #MAKE_ARGS=	GNUMPF=1 # This causes compillation failure, additionally GitHub failed to create the issue for this project.
 
 PLIST_FILES=	bin/${PORTNAME}
 
 do-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/${ALL_TARGET}* ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
 
 .include <bsd.port.mk>