math/vampire: Update 4.7-423 → 4.8

Reported by:	portscout

math/vampire/Makefile

@@ -1,34 +1,27 @@
 PORTNAME=	vampire
-DISTVERSIONPREFIX=	v
-DISTVERSION=	4.7-423
-DISTVERSIONSUFFIX=	-gc1643839b
+DISTVERSIONPREFIX=	vHO
+DISTVERSION=	4.8
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Automatic theorem prover
 WWW=		https://vprover.github.io/
 
-LICENSE=	BSD2CLAUSE
+LICENSE=	BSD3CLAUSE
 LICENSE_FILE=	${WRKSRC}/LICENCE
 
 BROKEN_i386=	error: static_assert failed due to requirement 'sizeof(void *) == 8'
 
-USES=		compiler:c++11-lang gmake
+USES=		cmake compiler:c++14-lang
+
 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.
+CMAKE_ARGS=	-DCMAKE_BUILD_HOL=On # code is broken w/out this
 
 PLIST_FILES=	bin/${PORTNAME}
 
 do-install:
-	${INSTALL_PROGRAM} ${WRKSRC}/${ALL_TARGET}* ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
+	${INSTALL_PROGRAM} ${BUILD_WRKSRC}/bin/${PORTNAME}* ${STAGEDIR}${PREFIX}/bin/${PORTNAME}
 
 .include <bsd.port.mk>

math/vampire/distinfo

@@ -1,3 +1,3 @@
-TIMESTAMP = 1687719811
-SHA256 (vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz) = 64251a4c914e3bfaacf790d7466d515c763760a7997e8549d9adb41b16c37fb0
-SIZE (vprover-vampire-v4.7-423-gc1643839b_GH0.tar.gz) = 1521191
+TIMESTAMP = 1689226827
+SHA256 (vprover-vampire-vHO4.8_GH0.tar.gz) = 7d6f906c08c265aeac5601c7eceefec3dc5d8e1e720f3fd2466eec0cc4f6cc9c
+SIZE (vprover-vampire-vHO4.8_GH0.tar.gz) = 1538556