Attachment #195356 for bug #229937

Lines 735-740 Link Here

(-)Makefile (+1 lines)
735	SUBDIR += py-uncertainties	735	SUBDIR += py-uncertainties
736	SUBDIR += py-viper	736	SUBDIR += py-viper
737	SUBDIR += py-yt	737	SUBDIR += py-yt
		738	SUBDIR += py-z3-solver
738	SUBDIR += qalculate	739	SUBDIR += qalculate
739	SUBDIR += qd	740	SUBDIR += qd
740	SUBDIR += qhull	741	SUBDIR += qhull




LICENSE=	MIT
LICENSE_FILE=	${WRKSRC}/LICENSE.txt

USES=		python:2.7,build
CONFLICTS=		iniparser-*

USE_GITHUB=	yes
GH_ACCOUNT=	Z3Prover

OPTIONS_DEFINE=		DEBUG STATIC GMP

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





%%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




# $FreeBSD$

PORTNAME=	z3-solver
DISTVERSIONPREFIX=	z3-
DISTVERSION=	4.7.1
CATEGORIES=	math
PKGNAMEPREFIX=	${PYTHON_PKGNAMEPREFIX}

# CAVEAT: It should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767

MAINTAINER=	arrowd@FreeBSD.org
COMMENT=	Python binding for Z3 Theorem Prover

LICENSE=	MIT
LICENSE_FILE=	${WRKSRC}/../../../LICENSE.txt

USES=		python
USE_GITHUB=	yes
GH_ACCOUNT=	Z3Prover
GH_PROJECT=	z3
USE_PYTHON=	distutils autoplist

WRKSRC_SUBDIR=	src/api/python

.include <bsd.port.mk>

Line 0 Link Here

(-)py-z3-solver/distinfo (+3 lines)
	1	TIMESTAMP = 1529241358
	2	SHA256 (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = a353e3da00cdaffd258052cc1406efc854606855222ab4bfd5679c58af5c11c7
	3	SIZE (Z3Prover-z3-z3-4.7.1_GH0.tar.gz) = 4015416




--- setup.py.orig	2018-07-21 19:34:29 UTC
+++ setup.py
@@ -161,9 +161,5 @@ setup(
     keywords=['z3', 'smt', 'sat', 'prover', 'theorem'],
     packages=['z3'],
     include_package_data=True,
-    package_data={
-        'z3': [os.path.join('lib', '*'), os.path.join('include', '*.h'), os.path.join('include', 'c++', '*.h')]
-    },
-    data_files=[('bin',[os.path.join('bin',EXECUTABLE_FILE)])],
     cmdclass={'build': build, 'develop': develop, 'sdist': sdist, 'bdist_egg': bdist_egg},
 )

Line 0 Link Here

(-)py-z3-solver/pkg-descr (+4 lines)
	1	Python binding for Z3, a high-performance theorem prover developed
	2	at Microsoft Research.
	3
	4	WWW: https://github.com/Z3Prover/z3

Return to bug 229937

Lines 11-35 Link Here

(-)z3/Makefile (-11 / +3 lines)
11	LICENSE= MIT	11	LICENSE= MIT
12	LICENSE_FILE= ${WRKSRC}/LICENSE.txt	12	LICENSE_FILE= ${WRKSRC}/LICENSE.txt
13		13
14	# compiler picks ${LOCALBASE}/include/dictionary.h from iniparser	14	USES= python:2.7,build
15	CONFLICTS= iniparser-*
16
17	USE_GITHUB= yes	15	USE_GITHUB= yes
18	GH_ACCOUNT= Z3Prover	16	GH_ACCOUNT= Z3Prover
19		17
20	OPTIONS_DEFINE= DEBUG STATIC PYTHON GMP	18	OPTIONS_DEFINE= DEBUG STATIC GMP
21		19
22	OPTIONS_DEFAULT= STATIC PYTHON	20	OPTIONS_DEFAULT= STATIC
23	OPTIONS_SUB= yes	21	OPTIONS_SUB= yes
24		22
25	DEBUG_CONFIGURE_ON= --debug	23	DEBUG_CONFIGURE_ON= --debug
26		24
27	PYTHON_DESC= Enable python bindings
28	PYTHON_CONFIGURE_ON= --python
29	PYTHON_USES= python:2.7
30	PYTHON_USES_OFF= python:2.7,build
31	PYTHON_RUN_DEPENDS= ${PYTHON_PKGNAMEPREFIX}setuptools>0:devel/py-setuptools@${PY_FLAVOR}
32
33	STATIC_DESC= Build static z3 library	25	STATIC_DESC= Build static z3 library
34	STATIC_CONFIGURE_ON= --staticlib	26	STATIC_CONFIGURE_ON= --staticlib
35		27

Lines 16-39 Link Here

(-)z3/pkg-plist (-21 lines)
16	%%STATIC%%lib/libz3.a	16	%%STATIC%%lib/libz3.a
17	lib/libz3.so	17	lib/libz3.so
18	lib/libz3.so.0	18	lib/libz3.so.0
19	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/__init__.py
20	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/__init__.pyc
21	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/lib/libz3.so
22	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3.py
23	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3.pyc
24	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3consts.py
25	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3consts.pyc
26	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3core.py
27	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3core.pyc
28	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3num.py
29	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3num.pyc
30	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3poly.py
31	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3poly.pyc
32	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3printer.py
33	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3printer.pyc
34	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3rcf.py
35	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3rcf.pyc
36	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3types.py
37	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3types.pyc
38	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3util.py
39	%%PYTHON%%%%PYTHON_SITELIBDIR%%/z3/z3util.pyc

Line 0 Link Here

(-)py-z3-solver/Makefile (+25 lines)
	1	# $FreeBSD$
	2
	3	PORTNAME= z3-solver
	4	DISTVERSIONPREFIX= z3-
	5	DISTVERSION= 4.7.1
	6	CATEGORIES= math
	7	PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
	8
	9	# CAVEAT: It should have LIB_DEPENDS=libz3.so:math/z3, but currently it rebuilds all code, see https://github.com/Z3Prover/z3/issues/1767
	10
	11	MAINTAINER= arrowd@FreeBSD.org
	12	COMMENT= Python binding for Z3 Theorem Prover
	13
	14	LICENSE= MIT
	15	LICENSE_FILE= ${WRKSRC}/../../../LICENSE.txt
	16
	17	USES= python
	18	USE_GITHUB= yes
	19	GH_ACCOUNT= Z3Prover
	20	GH_PROJECT= z3
	21	USE_PYTHON= distutils autoplist
	22
	23	WRKSRC_SUBDIR= src/api/python
	24
	25	.include <bsd.port.mk>

Line 0 Link Here

(-)py-z3-solver/files/patch-setup.py (+12 lines)
	1	--- setup.py.orig 2018-07-21 19:34:29 UTC
	2	+++ setup.py
	3	@@ -161,9 +161,5 @@ setup(
	4	keywords=['z3', 'smt', 'sat', 'prover', 'theorem'],
	5	packages=['z3'],
	6	include_package_data=True,
	7	- package_data={
	8	- 'z3': [os.path.join('lib', ''), os.path.join('include', '.h'), os.path.join('include', 'c++', '*.h')]
	9	- },
	10	- data_files=[('bin',[os.path.join('bin',EXECUTABLE_FILE)])],
	11	cmdclass={'build': build, 'develop': develop, 'sdist': sdist, 'bdist_egg': bdist_egg},
	12	)