ports@,
I'd like to update math/z3 to 4.13.4.
Tested on -current/amd64.
Changes:
Version 4.13.4
==============
- several updates to emscripten including #7473
- add preliminary pyodie build
- address issues with Java bindings
- Include start of sls-smt functionality SLS modulo theories as co-processor to
SMT core and stand-alone tactic.
Ok?
Index: Makefile
===================================================================
RCS file: /home/cvs/ports/math/z3/Makefile,v
diff -u -p -r1.35 Makefile
--- Makefile 20 Oct 2024 19:18:26 -0000 1.35
+++ Makefile 17 Dec 2024 14:15:15 -0000
@@ -1,9 +1,9 @@
COMMENT = Z3 theorem prover
-DIST_TUPLE = github Z3Prover z3 z3-4.13.3 .
+DIST_TUPLE = github Z3Prover z3 z3-4.13.4 .
PKGNAME = ${DISTNAME:S/z3-//}
-SHARED_LIBS = z3 4.12
+SHARED_LIBS = z3 4.13
CATEGORIES = math
Index: distinfo
===================================================================
RCS file: /home/cvs/ports/math/z3/distinfo,v
diff -u -p -r1.16 distinfo
--- distinfo 20 Oct 2024 19:18:26 -0000 1.16
+++ distinfo 17 Dec 2024 14:17:25 -0000
@@ -1,2 +1,2 @@
-SHA256 (Z3Prover-z3-z3-4.13.3.tar.gz) =
9Zyc9gDqV/tk/+/7/9Dy0riWhU8znoRvSPBp0jvBS6A=
-SIZE (Z3Prover-z3-z3-4.13.3.tar.gz) = 5583533
+SHA256 (Z3Prover-z3-z3-4.13.4.tar.gz) =
QHGXfmbp89I5t7CYzt3+Yv/fPHHjRelSSkpQAdH0rfM=
+SIZE (Z3Prover-z3-z3-4.13.4.tar.gz) = 5766645
--
wbr, Kirill
