Page MenuHomeFreeBSD
Files F153429996

D52659.id162523.diff
No OneTemporary
Actions

D52659.id162523.diff
View Options

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 <bsd.port.mk>
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

File Metadata

Mime Type
text/plain
Expires
Wed, Apr 22, 3:16 AM (7 h, 6 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
31949869
Default Alt Text
D52659.id162523.diff (2 KB)

Event Timeline