diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2019-05-19 04:35:11 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2019-05-19 04:35:11 +0000 |
commit | 4b4a839f3630d70e4dcd2a518dc9cb5d0a4ac950 (patch) | |
tree | a7e9c6a9f2d0d8fa211095d72f6d599f251ab742 /math/py-z3-solver | |
parent | ec08570b455abbe4efa7ca2102c7c5c9b18372d6 (diff) | |
download | ports-4b4a839f3630d70e4dcd2a518dc9cb5d0a4ac950.tar.gz ports-4b4a839f3630d70e4dcd2a518dc9cb5d0a4ac950.zip |
math/py-z3-solver: Fix build on 13-CURRENT i386
Reported by: fallout
Notes
Notes:
svn path=/head/; revision=502012
Diffstat (limited to 'math/py-z3-solver')
-rw-r--r-- | math/py-z3-solver/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index cdec90bd553c..c801f8fb5fd3 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -3,6 +3,7 @@ PORTNAME= z3-solver DISTVERSIONPREFIX= z3- DISTVERSION= 4.8.4 +PORTREVISION= 1 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} @@ -22,6 +23,8 @@ 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 |