diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-25 19:14:54 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2018-07-25 19:14:54 +0000 |
commit | 0b032b9ee64c11d6f6cc7d9ac4faaba6a1da91aa (patch) | |
tree | cb7819a805c1d9027c625a27b95d70e1feb2f70d /math/py-z3-solver/files/patch-setup.py | |
parent | 51b131d3958e25a0a3439adfc02caf66e71f52d5 (diff) | |
download | ports-0b032b9ee64c11d6f6cc7d9ac4faaba6a1da91aa.tar.gz ports-0b032b9ee64c11d6f6cc7d9ac4faaba6a1da91aa.zip |
Notes
Diffstat (limited to 'math/py-z3-solver/files/patch-setup.py')
-rw-r--r-- | math/py-z3-solver/files/patch-setup.py | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/math/py-z3-solver/files/patch-setup.py b/math/py-z3-solver/files/patch-setup.py deleted file mode 100644 index af13eec6c882..000000000000 --- a/math/py-z3-solver/files/patch-setup.py +++ /dev/null @@ -1,12 +0,0 @@ ---- 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}, - ) |