mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-18 19:49:40 +00:00
math/py-z3-solver: Broken on i386, workaround suggested by the error didn't help
Reported to the upstream. Reported by: fallout
This commit is contained in:
parent
6c0577c732
commit
20e16bb4cd
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=507522
@ -13,7 +13,9 @@ COMMENT= Python binding for Z3 Theorem Prover
|
||||
LICENSE= MIT
|
||||
LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt
|
||||
|
||||
# CAVEAT: It should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767
|
||||
BROKEN_i386= can't create dynamic relocation R_386_32 against symbol: .L.str in readonly segment; see https://github.com/Z3Prover/z3/issues/2442
|
||||
|
||||
# CAVEAT: There should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767
|
||||
|
||||
USES= compiler:c++11-lang python
|
||||
USE_GITHUB= yes
|
||||
@ -23,8 +25,6 @@ USE_PYTHON= distutils autoplist
|
||||
|
||||
WRKSRC_SUBDIR= src/api/python
|
||||
|
||||
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