git: b8f44f73d24a - main - math/vampire: update 4.8 → 4.9casc2024

The branch main has been updated by yuri:

URL: https://cgit.FreeBSD.org/ports/commit/?id=b8f44f73d24a950f83da4a4f9bb1772910548d42

commit b8f44f73d24a950f83da4a4f9bb1772910548d42
Author:     Yuri Victorovich <yuri@FreeBSD.org>
AuthorDate: 2024-07-13 06:09:45 +0000
Commit:     Yuri Victorovich <yuri@FreeBSD.org>
CommitDate: 2024-07-13 06:46:10 +0000

    math/vampire: update 4.8 → 4.9casc2024
    
    Reported by:    portscout
---
 math/vampire/Makefile                   | 11 ++++++++---
 math/vampire/distinfo                   |  8 +++++---
 math/vampire/files/patch-CMakeLists.txt | 19 +++++++++++++++++++
 3 files changed, 32 insertions(+), 6 deletions(-)

diff --git a/math/vampire/Makefile b/math/vampire/Makefile
index 79f853e44849..0e148e9c4baf 100644
--- a/math/vampire/Makefile
+++ b/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}
 
diff --git a/math/vampire/distinfo b/math/vampire/distinfo
index 6781a1c504eb..15bae4242c90 100644
--- a/math/vampire/distinfo
+++ b/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
diff --git a/math/vampire/files/patch-CMakeLists.txt b/math/vampire/files/patch-CMakeLists.txt
new file mode 100644
index 000000000000..03d60badd318
--- /dev/null
+++ b/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.")