diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index ee5cb7b8fd78..6136e24d2b5b 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -1,30 +1,31 @@ PORTNAME= z3-solver DISTVERSIONPREFIX= z3- DISTVERSION= 4.8.10 CATEGORIES= math PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX} MAINTAINER= yuri@FreeBSD.org COMMENT= Python binding for Z3 Theorem Prover LICENSE= MIT LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt +CFLAGS_armv7= -fPIC CFLAGS_powerpc= -fPIC 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:3.6+ USE_GITHUB= yes GH_ACCOUNT= Z3Prover GH_PROJECT= z3 USE_PYTHON= distutils autoplist WRKSRC_SUBDIR= src/api/python post-patch: # https://github.com/Z3Prover/z3/issues/2131 @${REINPLACE_CMD} 's|…|...|' ${WRKSRC}/../../ast/recfun_decl_plugin.h .include