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

math/vampire/files/patch-Makefile

@@ -1,27 +0,0 @@
---- Makefile.orig	2023-06-15 19:13:02 UTC
-+++ Makefile
-@@ -522,20 +522,17 @@ VERSION_NUMBER = 4.7
- # The dependency on .git/HEAD tracks switching between branches,
- # the dependency on .git/index tracks new commits.
- 
--.git/HEAD:
--.git/index:
--
--version.cpp: .git/HEAD .git/index Makefile
-+version.cpp: Makefile
- 	@echo "//Automatically generated file, see Makefile for details" > $@
--	@echo "const char* VERSION_STRING = \"Vampire $(VERSION_NUMBER) (commit $(shell git log -1 --format=%h\ on\ %ci || echo unknown))\";" >> $@
-+	@echo "const char* VERSION_STRING = \"Vampire $(FREEBSD_VERSION_NUMBER)\";" >> $@
- 
- ################################################################
- # separate directory for object files implementation
- 
- # different directory for each configuration, so there is no need for "make clean"
- SED_CMD='s/.*[(].*/detached/' # if branch name contains an opening bracket, replace it with detached (in order to avoid a crash during linking). This covers at least the case '(HEAD' occuring if one is in detached state, and '(no' occuring if one currently performs a rebase.
--BRANCH=$(shell git branch | grep "\*" | cut -d ' ' -f 2 | sed -e $(SED_CMD)  )
--COM_CNT=$(shell git rev-list HEAD --count)
-+BRANCH="master"
-+COM_CNT="0"
- CONF_ID := obj/$(shell echo -n "$(BRANCH) $(XFLAGS)"|sum|cut -d ' ' -f1)X
- 
- obj: