diff --git a/math/z3/Makefile b/math/z3/Makefile index d793caa3e4a6..ac42b2bf91aa 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,27 +1,27 @@ PORTNAME= z3 DISTVERSIONPREFIX= z3- -DISTVERSION= 4.13.2 +DISTVERSION= 4.13.4 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org COMMENT= Z3 Theorem Prover WWW= https://github.com/Z3Prover/z3 LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt USES= cmake compiler:c++11-lang localbase:ldflags USE_GITHUB= yes GH_ACCOUNT= Z3Prover OPTIONS_DEFINE= GMP OPTIONS_SUB= yes GMP_DESC= Use GMP library for AP arithmetic GMP_CMAKE_BOOL= Z3_USE_LIB_GMP GMP_LIB_DEPENDS= libgmp.so:math/gmp CMAKE_ARGS= -DCMAKE_INSTALL_PKGCONFIGDIR=${PREFIX}/libdata/pkgconfig .include diff --git a/math/z3/distinfo b/math/z3/distinfo index 8ff6c36ddf0d..98b235f2614f 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1727532409 -SHA256 (Z3Prover-z3-z3-4.13.2_GH0.tar.gz) = fd7dc6dd2633074f0a47670d6378b0e5c28c2c26f2b58aa23e9cd7f0bc9ba0dc -SIZE (Z3Prover-z3-z3-4.13.2_GH0.tar.gz) = 5578178 +TIMESTAMP = 1736070226 +SHA256 (Z3Prover-z3-z3-4.13.4_GH0.tar.gz) = 4071977e66e9f3d239b7b098ceddfe62ffdf3c71e345e9524a4a5001d1f4adf3 +SIZE (Z3Prover-z3-z3-4.13.4_GH0.tar.gz) = 5766645 diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist index 41fa8dd7a334..3c98fbec2351 100644 --- a/math/z3/pkg-plist +++ b/math/z3/pkg-plist @@ -1,23 +1,23 @@ bin/z3 include/z3++.h include/z3.h include/z3_algebraic.h include/z3_api.h include/z3_ast_containers.h include/z3_fixedpoint.h include/z3_fpa.h include/z3_macros.h include/z3_optimization.h include/z3_polynomial.h include/z3_rcf.h include/z3_spacer.h include/z3_v1.h include/z3_version.h lib/cmake/z3/Z3Config.cmake lib/cmake/z3/Z3ConfigVersion.cmake lib/cmake/z3/Z3Targets-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/z3/Z3Targets.cmake lib/libz3.so lib/libz3.so.4.13 -lib/libz3.so.4.13.2.0 +lib/libz3.so.4.13.4.0 libdata/pkgconfig/z3.pc