diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2019-02-10 18:17:14 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2019-02-10 18:17:14 +0000 |
| commit | b3869722fb24c140fa6823a2bfa211420ceb0b41 (patch) | |
| tree | 5089df961e853bd8db418229c2d1a064d0611134 | |
| parent | d4a4068a5303bfe0f6fcd00bae01634bd7ccf038 (diff) | |
| download | ports-b3869722fb24c140fa6823a2bfa211420ceb0b41.tar.gz ports-b3869722fb24c140fa6823a2bfa211420ceb0b41.zip | |
math/py-z3-solver: Update 4.7.1 -> 4.8.4
Notes
Notes:
svn path=/head/; revision=492625
| -rw-r--r-- | math/py-z3-solver/Makefile | 5 | ||||
| -rw-r--r-- | 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 <bsd.port.mk> 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 |