aboutsummaryrefslogtreecommitdiff
path: root/math/py-z3-solver
diff options
context:
space:
mode:
authorYuri Victorovich <yuri@FreeBSD.org>2019-06-09 04:17:35 +0000
committerYuri Victorovich <yuri@FreeBSD.org>2019-06-09 04:17:35 +0000
commitf76146b11daa4575d4a35d0a4700431bd3084048 (patch)
treefc2422eeb955f058f3fb61a9dfc6b4147b37ceac /math/py-z3-solver
parent753a9d2c993686428a8ad89cb2d0149e78defb64 (diff)
downloadports-f76146b11daa4575d4a35d0a4700431bd3084048.tar.gz
ports-f76146b11daa4575d4a35d0a4700431bd3084048.zip
math/py-z3-solver: Move -fPIC to CXXFLAGS where it belongs
Notes
Notes: svn path=/head/; revision=503778
Diffstat (limited to 'math/py-z3-solver')
-rw-r--r--math/py-z3-solver/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile
index c801f8fb5fd3..38a4cac939c5 100644
--- a/math/py-z3-solver/Makefile
+++ b/math/py-z3-solver/Makefile
@@ -3,7 +3,7 @@
PORTNAME= z3-solver
DISTVERSIONPREFIX= z3-
DISTVERSION= 4.8.4
-PORTREVISION= 1
+PORTREVISION= 2
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
@@ -23,7 +23,7 @@ USE_PYTHON= distutils autoplist
WRKSRC_SUBDIR= src/api/python
-LDFLAGS+= -fPIC # failure message on 13-i386 suggested -fPIC, no other platforms experienced failures
+CXXFLAGS+= -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