math/vampire: update 4.8 → 4.9casc2024

Reported by:	portscout

math/vampire/Makefile

@@ -1,6 +1,6 @@
 PORTNAME=	vampire
-DISTVERSIONPREFIX=	vHO
-DISTVERSION=	4.8
+DISTVERSIONPREFIX=	v
+DISTVERSION=	4.9casc2024
 CATEGORIES=	math
 
 MAINTAINER=	yuri@FreeBSD.org
@@ -14,12 +14,17 @@ BROKEN_armv7=	error: static_assert failed due to requirement 'sizeof(void *) ==
 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
+LIB_DEPENDS=	libz3.so:math/z3
+
+USES=		cmake compiler:c++17-lang
 
 USE_GITHUB=	yes
 GH_ACCOUNT=	vprover
 
 CMAKE_ARGS=	-DCMAKE_BUILD_HOL=On # code is broken w/out this
+CMAKE_ARGS+=	-DZ3_DIR=${WRKSRC}/z3
+
+LDFLAGS+=	-lexecinfo
 
 PLIST_FILES=	bin/${PORTNAME}
 

math/vampire/distinfo

@@ -1,3 +1,5 @@
-TIMESTAMP = 1689226827
-SHA256 (vprover-vampire-vHO4.8_GH0.tar.gz) = 7d6f906c08c265aeac5601c7eceefec3dc5d8e1e720f3fd2466eec0cc4f6cc9c
-SIZE (vprover-vampire-vHO4.8_GH0.tar.gz) = 1538556
+TIMESTAMP = 1720849438
+SHA256 (vprover-vampire-v4.9casc2024_GH0.tar.gz) = 7d0101dc296d0f6fb4f3326febf6a3f3bfd3400b36249a91794789c68a855f3d
+SIZE (vprover-vampire-v4.9casc2024_GH0.tar.gz) = 1502934
+SHA256 (Z3Prover-z3-79bbbf7_GH0.tar.gz) = 27bec158d3cb33be8204fe429d53a29102af1b61151e26631652ae2dac2b26e6
+SIZE (Z3Prover-z3-79bbbf7_GH0.tar.gz) = 5453931

math/vampire/files/patch-CMakeLists.txt

@@ -0,0 +1,19 @@
+--- CMakeLists.txt.orig	2024-06-14 13:05:27 UTC
++++ CMakeLists.txt
+@@ -807,15 +807,8 @@ find_package(
+ # normally this is just in /z3/build/, but this can be overridden
+ find_package(
+   Z3
++  REQUIRED
+   CONFIG
+-    NO_CMAKE_PATH
+-    NO_CMAKE_ENVIRONMENT_PATH
+-    NO_SYSTEM_ENVIRONMENT_PATH
+-    NO_CMAKE_PACKAGE_REGISTRY
+-    NO_CMAKE_SYSTEM_PATH
+-    NO_CMAKE_SYSTEM_PACKAGE_REGISTRY
+-    PATHS
+-      ${CMAKE_SOURCE_DIR}/z3/build/
+ )
+ if (NOT Z3_FOUND)
+   message(STATUS "No Z3 found -- Compiling without SMT support.")