diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-24 21:03:48 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-24 21:03:48 +0000 |
commit | fc1d16a73d079af12d335f88bc49470291e3d3f7 (patch) | |
tree | 72f5ac7e3b7501bed69f24f471e440b274b45684 /math/z3 | |
parent | 1814318b0ae119d1806e6ae39c34524ceb7bccd8 (diff) | |
download | ports-fc1d16a73d079af12d335f88bc49470291e3d3f7.tar.gz ports-fc1d16a73d079af12d335f88bc49470291e3d3f7.zip |
math/z3: Fix the python binding to work for all python versions
The python binding is removed from math/z3 and placed into a separate
port math/mpy-z3-solver that builds for all python versions.
While here, remove the unnecessary CONFLICTS statement.
PR: 229937
Approved by: portmgr
Notes
Notes:
svn path=/head/; revision=475278
Diffstat (limited to 'math/z3')
-rw-r--r-- | math/z3/Makefile | 15 | ||||
-rw-r--r-- | math/z3/pkg-plist | 21 |
2 files changed, 4 insertions, 32 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index b3bee277e150..48a97ff18401 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -3,6 +3,7 @@ PORTNAME= z3 DISTVERSIONPREFIX= ${PORTNAME}- DISTVERSION= 4.7.1 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= arrowd@FreeBSD.org @@ -11,25 +12,17 @@ COMMENT= Z3 Theorem Prover LICENSE= MIT LICENSE_FILE= ${WRKSRC}/LICENSE.txt -# compiler picks ${LOCALBASE}/include/dictionary.h from iniparser -CONFLICTS= iniparser-* - +USES= python:2.7,build USE_GITHUB= yes GH_ACCOUNT= Z3Prover -OPTIONS_DEFINE= DEBUG STATIC PYTHON GMP +OPTIONS_DEFINE= DEBUG STATIC GMP -OPTIONS_DEFAULT= STATIC PYTHON +OPTIONS_DEFAULT= STATIC OPTIONS_SUB= yes DEBUG_CONFIGURE_ON= --debug -PYTHON_DESC= Enable python bindings -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 diff --git a/math/z3/pkg-plist b/math/z3/pkg-plist index 67095dc03f5c..44cb7828d1db 100644 --- a/math/z3/pkg-plist +++ b/math/z3/pkg-plist @@ -16,24 +16,3 @@ include/z3_v1.h %%STATIC%%lib/libz3.a lib/libz3.so lib/libz3.so.0 -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/__init__.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/__init__.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/lib/libz3.so -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3consts.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3consts.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3core.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3core.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3num.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3num.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3poly.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3poly.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3printer.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3printer.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3rcf.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3rcf.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3types.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3types.pyc -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3util.py -%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3util.pyc |