svn commit: r512480 - branches/2019Q3/math/py-z3-solver
Antoine Brodin
antoine at FreeBSD.org
Sat Sep 21 08:42:28 UTC 2019
Author: antoine
Date: Sat Sep 21 08:42:27 2019
New Revision: 512480
URL: https://svnweb.freebsd.org/changeset/ports/512480
Log:
MFH: r507522
math/py-z3-solver: Broken on i386
Modified:
branches/2019Q3/math/py-z3-solver/Makefile
Directory Properties:
branches/2019Q3/ (props changed)
Modified: branches/2019Q3/math/py-z3-solver/Makefile
==============================================================================
--- branches/2019Q3/math/py-z3-solver/Makefile Sat Sep 21 08:40:13 2019 (r512479)
+++ branches/2019Q3/math/py-z3-solver/Makefile Sat Sep 21 08:42:27 2019 (r512480)
@@ -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
More information about the svn-ports-all
mailing list