Date: Sun, 28 Jul 2019 18:29:13 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r507522 - head/math/py-z3-solver Message-ID: <201907281829.x6SITDeN064480@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: yuri Date: Sun Jul 28 18:29:13 2019 New Revision: 507522 URL: https://svnweb.freebsd.org/changeset/ports/507522 Log: math/py-z3-solver: Broken on i386, workaround suggested by the error didn't help Reported to the upstream. Reported by: fallout Modified: head/math/py-z3-solver/Makefile Modified: head/math/py-z3-solver/Makefile ============================================================================== --- head/math/py-z3-solver/Makefile Sun Jul 28 18:17:27 2019 (r507521) +++ head/math/py-z3-solver/Makefile Sun Jul 28 18:29:13 2019 (r507522) @@ -13,8 +13,10 @@ COMMENT= Python binding for Z3 Theorem Prover LICENSE= MIT LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt -# CAVEAT: It should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767 +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 + USES= compiler:c++11-lang python USE_GITHUB= yes GH_ACCOUNT= Z3Prover @@ -22,8 +24,6 @@ GH_PROJECT= z3 USE_PYTHON= distutils autoplist WRKSRC_SUBDIR= src/api/python - -CXXFLAGS+= -fPIC # failure message on 13-i386 suggested -fPIC, no other platforms experienced failures 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?201907281829.x6SITDeN064480>