kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

math/py-z3-solver: Fix build on 13-CURRENT i386

Browse source 
Reported by:	fallout
This commit is contained in:
Yuri Victorovich 2019-05-19 04:35:11 +00:00
parent ec08570b45
commit 4b4a839f36
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=502012
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
math/py-z3-solver/Makefile
View file

@ -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