-
Notifications
You must be signed in to change notification settings - Fork 1
/
setup.py
118 lines (97 loc) · 2.81 KB
/
setup.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
import os
import shutil
import sys
from setuptools import setup, find_packages, Command
from os import path
NAME = "pywmi"
DESCRIPTION = "Essential tools and interfaces for WMI solving."
URL = "http://github.com/samuelkolb/pywmi"
EMAIL = "[email protected]"
AUTHOR = "Samuel Kolb"
REQUIRES_PYTHON = ">=3.5.0"
VERSION = "0.7.16"
# What packages are required for this module to be executed?
REQUIRED = [
"pysmt @ git+ssh://[email protected]/masinag/pysmt@nrat#egg=pysmt"
#"pysmt",
"numpy",
"future",
"matplotlib",
"pillow",
"polytope",
"tabulate",
"graphviz",
"sympy",
"scipy>=1.2",
"deprecated",
"networkx",
"antlr4-python3-runtime",
"dataclasses",
"sortedcollections",
"pysdd",
"wmipa",
]
# Optional packages
EXTRAS = {}
# Distribute: python setup.py upload
here = os.path.abspath(os.path.dirname(__file__))
with open(path.join(here, "README.md")) as ref:
long_description = ref.read()
class UploadCommand(Command):
"""Support setup.py upload."""
description = "Build and publish the package."
user_options = []
@staticmethod
def status(s):
"""Prints things in bold."""
print("\033[1m{0}\033[0m".format(s))
def initialize_options(self):
pass
def finalize_options(self):
pass
def run(self):
try:
self.status("Removing previous builds…")
shutil.rmtree(os.path.join(here, "dist"))
except OSError:
pass
self.status("Building Source and Wheel (universal) distribution…")
os.system("{0} setup.py sdist bdist_wheel --universal".format(sys.executable))
self.status("Uploading the package to PyPI via Twine…")
os.system("twine upload dist/*")
# self.status('Pushing git tags…')
# os.system('git tag v{0}'.format(about['__version__']))
# os.system('git push --tags')
sys.exit()
setup(
name=NAME,
version=VERSION,
description=DESCRIPTION,
long_description=long_description,
long_description_content_type="text/markdown",
url=URL,
author=AUTHOR,
author_email=EMAIL,
license="MIT",
classifiers=[
"License :: OSI Approved :: MIT License",
"Programming Language :: Python",
"Programming Language :: Python :: 3",
],
python_requires=REQUIRES_PYTHON,
include_package_data=True,
package_data={"": ["**/psi/build/psilibrary*/*.so"],},
packages=find_packages(exclude=("tests",)),
zip_safe=False,
install_requires=REQUIRED,
extras_require=EXTRAS,
setup_requires=["pytest-runner"],
tests_require=["pytest"],
entry_points={
"console_scripts": [
"pywmi-install = pywmi.install:main",
"pywmi-cli = pywmi.__main__:parse",
]
},
cmdclass={"upload": UploadCommand,},
)