Date: Thu, 10 Jun 2021 12:39:21 GMT From: Piotr Kubaj <pkubaj@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org Subject: git: b08a7396eb21 - main - math/py-z3-solver: fix build on powerpc Message-ID: <202106101239.15ACdLgU073968@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch main has been updated by pkubaj: URL: https://cgit.FreeBSD.org/ports/commit/?id=b08a7396eb210bcd6e23a83e003743e88018958f commit b08a7396eb210bcd6e23a83e003743e88018958f Author: Piotr Kubaj <pkubaj@FreeBSD.org> AuthorDate: 2021-06-10 12:39:17 +0000 Commit: Piotr Kubaj <pkubaj@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202106101239.15ACdLgU073968>