D13542.1794715288.diff
No OneTemporary
Actions

Authored By

Unknown

Size

579 B

Referenced Files

None

Subscribers

None

D13542.1794715288.diff
View Options

	Index: math/z3/Makefile
	===================================================================
	--- math/z3/Makefile
	+++ math/z3/Makefile
	@@ -3,7 +3,7 @@
	PORTNAME= z3
	DISTVERSIONPREFIX= ${PORTNAME}-
	DISTVERSION= 4.5.0
	-PORTREVISION= 1
	+PORTREVISION= 2
	CATEGORIES= math

	MAINTAINER= 6yearold@gmail.com
	@@ -30,6 +30,7 @@
	PYTHON_CONFIGURE_ON= --python
	PYTHON_USES= python:2.7
	PYTHON_USES_OFF= python:2.7,build
	+PYTHON_RUN_DEPENDS+= ${PYTHON_PKGNAMEPREFIX}setuptools>0:devel/py-setuptools@${PY_FLAVOR}

	STATIC_DESC= Build static z3 library
	STATIC_CONFIGURE_ON= --staticlib