Date: Thu, 21 Jul 2022 19:48:16 GMT From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-branches@FreeBSD.org Subject: git: 6062256f611b - 2022Q3 - math/py-z3-solver: Re-enable on i386; Broken on riscv64 Message-ID: <202207211948.26LJmGG6092494@gitrepo.freebsd.org>
next in thread | raw e-mail | index | archive | help
The branch 2022Q3 has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=6062256f611b838fb760f2731f329c7d2d7d04bb commit 6062256f611b838fb760f2731f329c7d2d7d04bb Author: Yuri Victorovich <yuri@FreeBSD.org> AuthorDate: 2022-07-21 19:47:18 +0000 Commit: Yuri Victorovich <yuri@FreeBSD.org> CommitDate: 2022-07-21 19:48:08 +0000 math/py-z3-solver: Re-enable on i386; Broken on riscv64 (cherry picked from commit 23b2759af2303419f7c60bca8330f4d99a61c172) --- math/py-z3-solver/Makefile | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/math/py-z3-solver/Makefile b/math/py-z3-solver/Makefile index 3426ee6af08a..f900b3ea09b4 100644 --- a/math/py-z3-solver/Makefile +++ b/math/py-z3-solver/Makefile @@ -10,12 +10,7 @@ COMMENT= Python binding for Z3 Theorem Prover LICENSE= MIT LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt -CFLAGS_armv7= -fPIC -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 +BROKEN_riscv64= fails to configure, see https://github.com/Z3Prover/z3/issues/6183 BUILD_DEPENDS= cmake:devel/cmake @@ -26,8 +21,13 @@ USE_GITHUB= yes GH_ACCOUNT= Z3Prover GH_PROJECT= z3 +CFLAGS_armv7= -fPIC +CFLAGS_powerpc= -fPIC + WRKSRC_SUBDIR= src/api/python +# CAVEAT: There should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767 + post-patch: # https://github.com/Z3Prover/z3/issues/2131 @${REINPLACE_CMD} 's|…|...|' ${WRKSRC}/../../ast/recfun_decl_plugin.h
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202207211948.26LJmGG6092494>