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