ports@, Here is a clean update of math/z3 to the latest release.
Changelog: https://github.com/Z3Prover/z3/releases/tag/z3-4.13.0 Tested on -current/amd64. So the crashing problem is still here, see: https://github.com/Z3Prover/z3/issues/6902 But it exists on the current version in ports, which means the update doesn't break anything new. The diff: diff --git math/z3/Makefile math/z3/Makefile index e498cc1fd76..723a501406b 100644 --- math/z3/Makefile +++ math/z3/Makefile @@ -1,7 +1,6 @@ COMMENT = Z3 theorem prover -VERSION = 4.12.2 -REVISION = 1 +VERSION = 4.13.0 GH_ACCOUNT = Z3Prover GH_PROJECT = z3 @@ -10,7 +9,7 @@ GH_TAGNAME = ${GH_PROJECT}-${VERSION} DISTNAME = ${GH_TAGNAME} PKGNAME = ${DISTNAME:L} -SHARED_LIBS = z3 4.0 # 4.10 +SHARED_LIBS = z3 4.1 # 4.13 CATEGORIES = math diff --git math/z3/distinfo math/z3/distinfo index 369d2943b90..22c9ca84d8a 100644 --- math/z3/distinfo +++ math/z3/distinfo @@ -1,2 +1,2 @@ -SHA256 (z3-4.12.2.tar.gz) = n1jzcQvSCUCFlRp1eRVQ9UeQPXX+fi/LNzxfA/x2G48= -SIZE (z3-4.12.2.tar.gz) = 5401038 +SHA256 (z3-4.13.0.tar.gz) = AbzGHINi43u4n9JDD34zheht95FQGb0s5F3p2b2TRQI= +SIZE (z3-4.13.0.tar.gz) = 5520232 -- wbr, Kirill
