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-main mailing list