diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index 2a08d843dd44..ee5cb7b8fd78 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -10,6 +10,8 @@ COMMENT= Python binding for Z3 Theorem Prover LICENSE= MIT LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt +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