svn commit: r507522 - head/math/py-z3-solver

[Yuri Victorovich]

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