diff options
Diffstat (limited to 'math/z3')
| -rw-r--r-- | math/z3/Makefile | 10 | ||||
| -rw-r--r-- | math/z3/distinfo | 6 | ||||
| -rw-r--r-- | math/z3/pkg-plist | 4 |
3 files changed, 10 insertions, 10 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 63d368089c33..566e16cba61a 100644 --- 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 @@ 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 +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 <bsd.port.mk> diff --git a/math/z3/distinfo b/math/z3/distinfo index 13cb429023d9..11399b5e4a29 100644 --- 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 index 31b2e987ef5e..1aa3d23cb8c4 100644 --- a/math/z3/pkg-plist +++ b/math/z3/pkg-plist @@ -18,6 +18,6 @@ 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.14 -lib/libz3.so.4.14.1.0 +lib/libz3.so.4.15 +lib/libz3.so.4.15.3.0 libdata/pkgconfig/z3.pc |