git: b08a7396eb21 - main - math/py-z3-solver: fix build on powerpc
Piotr Kubaj
pkubaj at FreeBSD.org
Thu Jun 10 12:39:21 UTC 2021
The branch main has been updated by pkubaj:
URL: https://cgit.FreeBSD.org/ports/commit/?id=b08a7396eb210bcd6e23a83e003743e88018958f
commit b08a7396eb210bcd6e23a83e003743e88018958f
Author: Piotr Kubaj <pkubaj at FreeBSD.org>
AuthorDate: 2021-06-10 12:39:17 +0000
Commit: Piotr Kubaj <pkubaj at FreeBSD.org>
CommitDate: 2021-06-10 12:39:17 +0000
math/py-z3-solver: fix build on powerpc
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
---
math/py-z3-solver/Makefile | 2 ++
1 file changed, 2 insertions(+)
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
More information about the dev-commits-ports-all
mailing list