Skip to content

Commit

Permalink
math/py-z3-solver: fix build on powerpc
Browse files Browse the repository at this point in the history
ld: error: can't create dynamic relocation R_PPC_ADDR16_LO against local symbol in readonly segment; recompile object files with -fPIC or pass '-Wl,-z,notext' to allow text relocations in the output
  • Loading branch information
pkubaj committed Jun 10, 2021
1 parent 0a61823 commit b08a739
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions math/py-z3-solver/Makefile
Expand Up @@ -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
Expand Down

0 comments on commit b08a739

Please sign in to comment.