svn commit: r503778 - head/math/py-z3-solver
Yuri Victorovich
yuri at FreeBSD.org
Sun Jun 9 04:17:36 UTC 2019
Author: yuri
Date: Sun Jun 9 04:17:35 2019
New Revision: 503778
URL: https://svnweb.freebsd.org/changeset/ports/503778
Log:
math/py-z3-solver: Move -fPIC to CXXFLAGS where it belongs
Modified:
head/math/py-z3-solver/Makefile
Modified: head/math/py-z3-solver/Makefile
==============================================================================
--- head/math/py-z3-solver/Makefile Sun Jun 9 04:00:26 2019 (r503777)
+++ head/math/py-z3-solver/Makefile Sun Jun 9 04:17:35 2019 (r503778)
@@ -3,7 +3,7 @@
PORTNAME= z3-solver
DISTVERSIONPREFIX= z3-
DISTVERSION= 4.8.4
-PORTREVISION= 1
+PORTREVISION= 2
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
@@ -23,7 +23,7 @@ USE_PYTHON= distutils autoplist
WRKSRC_SUBDIR= src/api/python
-LDFLAGS+= -fPIC # failure message on 13-i386 suggested -fPIC, no other platforms experienced failures
+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