From b3869722fb24c140fa6823a2bfa211420ceb0b41 Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Sun, 10 Feb 2019 18:17:14 +0000 Subject: math/py-z3-solver: Update 4.7.1 -> 4.8.4 --- math/py-z3-solver/Makefile | 5 ++++- math/py-z3-solver/distinfo | 6 +++--- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index ce75cb89f07e..cdec90bd553c 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -2,7 +2,7 @@ PORTNAME= z3-solver DISTVERSIONPREFIX= z3- -DISTVERSION= 4.7.1 +DISTVERSION= 4.8.4 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} @@ -22,4 +22,7 @@ USE_PYTHON= distutils autoplist WRKSRC_SUBDIR= src/api/python +post-patch: # https://github.com/Z3Prover/z3/issues/2131 + @${REINPLACE_CMD} 's|…|...|' ${WRKSRC}/../../ast/recfun_decl_plugin.h + .include diff --git a/math/py-z3-solver/distinfo b/math/py-z3-solver/distinfo index 3e54a3a9cce4..a9519bb7d860 100644 --- a/math/py-z3-solver/distinfo +++ b/math/py-z3-solver/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1529241358 -SHA256 (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7 -SIZE (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = 4015416 +TIMESTAMP = 1549820977 +SHA256 (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 5a18fe616c2a30b56e5b2f5b9f03f405cdf2435711517ff70b076a01396ef601 +SIZE (Z3Prover-z3-z3-4.8.4_GH0.tar.gz) = 4117081 -- cgit v1.2.3