diff --git a/math/z3/Makefile b/math/z3/Makefile index f4f27d32517b..63d368089c33 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,27 +1,27 @@ PORTNAME= z3 -DISTVERSION= 4.13.4.0 +DISTVERSION= 4.14.1.0 CATEGORIES= math MASTER_SITES= https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/ DISTNAME= ${PORTNAME}_solver-${DISTVERSION} 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++20-lang localbase:ldflags WRKSRC_SUBDIR= core CMAKE_OFF= Z3_ENABLE_EXAMPLE_TARGETS CMAKE_ARGS= -DCMAKE_INSTALL_PKGCONFIGDIR=${PREFIX}/libdata/pkgconfig OPTIONS_DEFINE= GMP OPTIONS_SUB= yes GMP_CMAKE_BOOL= Z3_USE_LIB_GMP GMP_LIB_DEPENDS= libgmp.so:math/gmp .include diff --git a/math/z3/distinfo b/math/z3/distinfo index 519e40ed8032..13cb429023d9 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1736078545 -SHA256 (z3_solver-4.13.4.0.tar.gz) = 66944689398d19f831f94524e95e99961d998afa27cfef1918a5a441029ea73f -SIZE (z3_solver-4.13.4.0.tar.gz) = 4969872 +TIMESTAMP = 1742299618 +SHA256 (z3_solver-4.14.1.0.tar.gz) = ddc6981d83205cbe6000b8fa71f78da496bbaa635fadaf776b6d129b80e7b113 +SIZE (z3_solver-4.14.1.0.tar.gz) = 5028426 diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist index 3c98fbec2351..31b2e987ef5e 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.4.0 +lib/libz3.so.4.14 +lib/libz3.so.4.14.1.0 libdata/pkgconfig/z3.pc