Hi,
this diff updates z3 to latest release.
Ok?
Cheers,
Remi.
Index: Makefile
===================================================================
RCS file: /cvs/ports/math/z3/Makefile,v
retrieving revision 1.13
diff -u -p -u -p -r1.13 Makefile
--- Makefile 28 Apr 2019 20:51:42 -0000 1.13
+++ Makefile 4 Jun 2019 12:45:10 -0000
@@ -2,14 +2,14 @@
COMMENT = Z3 theorem prover
-VERSION = 4.8.4
-DISTNAME = z3-${VERSION}
-REVISION = 1
+VERSION = 4.8.5
+DISTNAME = Z3-${VERSION}
+PKGNAME = ${DISTNAME:L}
GH_ACCOUNT = Z3Prover
GH_PROJECT = z3
-SHARED_LIBS = z3 1.0
+SHARED_LIBS = z3 2.0 # 4.8
CATEGORIES = math
Index: distinfo
===================================================================
RCS file: /cvs/ports/math/z3/distinfo,v
retrieving revision 1.5
diff -u -p -u -p -r1.5 distinfo
--- distinfo 3 Mar 2019 09:16:17 -0000 1.5
+++ distinfo 4 Jun 2019 12:45:10 -0000
@@ -1,2 +1,2 @@
-SHA256 (z3-4.8.4.tar.gz) = Whj+YWwqMLVuWy9bnwP0Bc3yQ1cRUX/3CwdqATlu9gE=
-SIZE (z3-4.8.4.tar.gz) = 4117081
+SHA256 (Z3-4.8.5.tar.gz) = To4jKIfd+mQ622ow3NN0PLL6ZZFzX70wK0n3AozcA2M=
+SIZE (Z3-4.8.5.tar.gz) = 4177051
