Hi,
this diff updates z3 to latest release.
Ok?
Cheers,
Remi.
Index: Makefile
===================================================================
RCS file: /cvs/ports/math/z3/Makefile,v
retrieving revision 1.9
diff -u -p -u -p -r1.9 Makefile
--- Makefile 24 Nov 2018 00:57:15 -0000 1.9
+++ Makefile 14 Dec 2018 13:01:40 -0000
@@ -2,14 +2,13 @@
COMMENT = Z3 theorem prover
-VERSION = 4.7.1
+VERSION = 4.8.3
DISTNAME = z3-${VERSION}
-REVISION = 1
GH_ACCOUNT = Z3Prover
GH_PROJECT = z3
-SHARED_LIBS = z3 0.0
+SHARED_LIBS = z3 1.0
CATEGORIES = math
Index: distinfo
===================================================================
RCS file: /cvs/ports/math/z3/distinfo,v
retrieving revision 1.3
diff -u -p -u -p -r1.3 distinfo
--- distinfo 18 Jun 2018 08:15:11 -0000 1.3
+++ distinfo 14 Dec 2018 13:01:40 -0000
@@ -1,2 +1,2 @@
-SHA256 (z3-4.7.1.tar.gz) = o1Pj2gDNr/0lgFLMFAbvyFRgaFUiKrS/1WecWK9cEcc=
-SIZE (z3-4.7.1.tar.gz) = 4015416
+SHA256 (z3-4.8.3.tar.gz) = IWILaMNzzeoNOyzyQCC+Ts+yLt3GYpZj9unOMc/ceN4=
+SIZE (z3-4.8.3.tar.gz) = 4119116
Index: pkg/PLIST
===================================================================
RCS file: /cvs/ports/math/z3/pkg/PLIST,v
retrieving revision 1.3
diff -u -p -u -p -r1.3 PLIST
--- pkg/PLIST 15 Sep 2018 13:27:29 -0000 1.3
+++ pkg/PLIST 14 Dec 2018 13:01:40 -0000
@@ -7,13 +7,13 @@ include/z3_api.h
include/z3_ast_containers.h
include/z3_fixedpoint.h
include/z3_fpa.h
-include/z3_interp.h
include/z3_macros.h
include/z3_optimization.h
include/z3_polynomial.h
include/z3_rcf.h
include/z3_spacer.h
include/z3_v1.h
+include/z3_version.h
@lib lib/libz3.so.${LIBz3_VERSION}
lib/python${MODPY_VERSION}/site-packages/z3/
lib/python${MODPY_VERSION}/site-packages/z3/__init__.py
