mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-30 01:15:52 +00:00
math/py-z3-solver: Move -fPIC to CXXFLAGS where it belongs
This commit is contained in:
parent
753a9d2c99
commit
f76146b11d
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=503778
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user