svn commit: r502012 - head/math/py-z3-solver
Yuri Victorovich
yuri at FreeBSD.org
Sun May 19 04:35:12 UTC 2019
Author: yuri
Date: Sun May 19 04:35:11 2019
New Revision: 502012
URL: https://svnweb.freebsd.org/changeset/ports/502012
Log:
math/py-z3-solver: Fix build on 13-CURRENT i386
Reported by: fallout
Modified:
head/math/py-z3-solver/Makefile
Modified: head/math/py-z3-solver/Makefile
==============================================================================
--- head/math/py-z3-solver/Makefile Sun May 19 04:28:33 2019 (r502011)
+++ head/math/py-z3-solver/Makefile Sun May 19 04:35:11 2019 (r502012)
@@ -3,6 +3,7 @@
PORTNAME= z3-solver
DISTVERSIONPREFIX= z3-
DISTVERSION= 4.8.4
+PORTREVISION= 1
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
@@ -21,6 +22,8 @@ GH_PROJECT= z3
USE_PYTHON= distutils autoplist
WRKSRC_SUBDIR= src/api/python
+
+LDFLAGS+= -fPIC # failure message on 13-i386 suggested -fPIC, no other platforms experienced failures
post-patch: # https://github.com/Z3Prover/z3/issues/2131
@${REINPLACE_CMD} 's|…|...|' ${WRKSRC}/../../ast/recfun_decl_plugin.h
More information about the svn-ports-all
mailing list