mirror of
https://git.freebsd.org/ports.git
synced 2025-06-08 14:20:33 -04:00
12 lines
494 B
Python
12 lines
494 B
Python
--- 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},
|
|
)
|