diff --git a/cad/PrusaSlicer/Makefile b/cad/PrusaSlicer/Makefile --- a/cad/PrusaSlicer/Makefile +++ b/cad/PrusaSlicer/Makefile @@ -1,7 +1,7 @@ PORTNAME= PrusaSlicer DISTVERSIONPREFIX=version_ DISTVERSION= 2.9.2 -PORTREVISION= 5 +PORTREVISION= 6 CATEGORIES= cad DIST_SUBDIR= PrusaSlicer diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -1,6 +1,7 @@ PORTNAME= z3-solver DISTVERSIONPREFIX= z3- DISTVERSION= 4.14.1 +PORTREVISION= 1 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/math/vampire/Makefile b/math/vampire/Makefile --- a/math/vampire/Makefile +++ b/math/vampire/Makefile @@ -1,6 +1,7 @@ PORTNAME= vampire DISTVERSIONPREFIX= v DISTVERSION= 4.9casc2024 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/z3/Makefile b/math/z3/Makefile --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -1,5 +1,5 @@ PORTNAME= z3 -DISTVERSION= 4.14.1.0 +DISTVERSION= 4.15.3.0 CATEGORIES= math MASTER_SITES= https://github.com/Z3Prover/z3/releases/download/${PORTNAME}-${DISTVERSION:R}/ DISTNAME= ${PORTNAME}_solver-${DISTVERSION} @@ -13,15 +13,15 @@ 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 +CMAKE_OFF= Z3_ENABLE_EXAMPLE_TARGETS + +WRKSRC_SUBDIR= core OPTIONS_DEFINE= GMP OPTIONS_SUB= yes -GMP_CMAKE_BOOL= Z3_USE_LIB_GMP GMP_LIB_DEPENDS= libgmp.so:math/gmp +GMP_CMAKE_BOOL= Z3_USE_LIB_GMP .include diff --git a/math/z3/distinfo b/math/z3/distinfo --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1742299618 -SHA256 (z3_solver-4.14.1.0.tar.gz) = ddc6981d83205cbe6000b8fa71f78da496bbaa635fadaf776b6d129b80e7b113 -SIZE (z3_solver-4.14.1.0.tar.gz) = 5028426 +TIMESTAMP = 1758463427 +SHA256 (z3_solver-4.15.3.0.tar.gz) = 78f69aebda5519bfd8af146a129f36cf4721a3c2667e80d9fe35cc9bb4d214a6 +SIZE (z3_solver-4.15.3.0.tar.gz) = 4985945 diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist --- a/math/z3/pkg-plist +++ b/math/z3/pkg-plist @@ -18,6 +18,6 @@ lib/cmake/z3/Z3Targets-%%CMAKE_BUILD_TYPE%%.cmake lib/cmake/z3/Z3Targets.cmake lib/libz3.so -lib/libz3.so.4.14 -lib/libz3.so.4.14.1.0 +lib/libz3.so.4.15 +lib/libz3.so.4.15.3.0 libdata/pkgconfig/z3.pc diff --git a/security/py-angr/Makefile b/security/py-angr/Makefile --- a/security/py-angr/Makefile +++ b/security/py-angr/Makefile @@ -1,7 +1,7 @@ PORTNAME= angr DISTVERSIONPREFIX= v DISTVERSION= ${ANGR_VERSION} -PORTREVISION= 4 +PORTREVISION= 5 CATEGORIES= security devel python PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} diff --git a/sysutils/triton/Makefile b/sysutils/triton/Makefile --- a/sysutils/triton/Makefile +++ b/sysutils/triton/Makefile @@ -1,6 +1,7 @@ PORTNAME= triton DISTVERSIONPREFIX= v DISTVERSION= 0.9-597 +PORTREVISION= 1 DISTVERSIONSUFFIX= -gafb28564 CATEGORIES= sysutils