svn commit: r492625 - head/math/py-z3-solver
Yuri Victorovich
yuri at FreeBSD.org
Sun Feb 10 18:17:15 UTC 2019
Author: yuri
Date: Sun Feb 10 18:17:14 2019
New Revision: 492625
URL: https://svnweb.freebsd.org/changeset/ports/492625
Log:
math/py-z3-solver: Update 4.7.1 -> 4.8.4
Modified:
head/math/py-z3-solver/Makefile
head/math/py-z3-solver/distinfo
Modified: head/math/py-z3-solver/Makefile
==============================================================================
--- head/math/py-z3-solver/Makefile Sun Feb 10 18:08:12 2019 (r492624)
+++ head/math/py-z3-solver/Makefile Sun Feb 10 18:17:14 2019 (r492625)
@@ -2,7 +2,7 @@
PORTNAME= z3-solver
DISTVERSIONPREFIX= z3-
-DISTVERSION= 4.7.1
+DISTVERSION= 4.8.4
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
@@ -21,5 +21,8 @@ GH_PROJECT= z3
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>
Modified: head/math/py-z3-solver/distinfo
==============================================================================
--- head/math/py-z3-solver/distinfo Sun Feb 10 18:08:12 2019 (r492624)
+++ head/math/py-z3-solver/distinfo Sun Feb 10 18:17:14 2019 (r492625)
@@ -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
More information about the svn-ports-head
mailing list