-
Notifications
You must be signed in to change notification settings - Fork 12
/
setup.py
120 lines (107 loc) · 4.05 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
119
120
# Copyright (c) 2020 ISP RAS (http://www.ispras.ru)
# Ivannikov Institute for System Programming of the Russian Academy of Sciences
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
import os
import setuptools
VERSION = '3.7'
def get_fallback_version():
if os.path.isfile('version'):
with open('version') as fp:
return fp.read()
return VERSION
def package_files(package_directory):
paths = []
for (root, _, filenames) in os.walk(package_directory):
for filename in filenames:
path = os.path.relpath(
os.path.join(root, filename), start=package_directory
)
paths.append(path)
return paths
setuptools.setup(
name="klever",
use_scm_version={'fallback_version': get_fallback_version()},
author="ISP RAS",
author_email="[email protected]",
url="http://forge.ispras.ru/projects/klever",
license="LICENSE",
description="Klever is a software verification framework",
long_description=open("README.md", encoding="utf8").read(),
python_requires=">=3.10",
packages=["klever"],
package_data={"klever": package_files("klever")},
entry_points={
"console_scripts": [
"klever-core=klever.core.__main__:main",
"klever-client-controller=klever.scheduler.main:client_controller",
"klever-debug-scheduler=klever.scheduler.main:debug_scheduler",
"klever-native-scheduler=klever.scheduler.main:native_scheduler",
"klever-verifiercloud-scheduler=klever.scheduler.main:verifiercloud_scheduler",
"klever-check=klever.scheduler.controller.checks:main",
"klever-build=klever.cli.build.__main__:main",
"klever-download-job=klever.cli.__main__:download_job",
"klever-download-marks=klever.cli.__main__:download_marks",
"klever-download-progress=klever.cli.__main__:download_progress",
"klever-download-results=klever.cli.__main__:download_results",
"klever-start-preset-solution=klever.cli.__main__:start_preset_solution",
"klever-start-solution=klever.cli.__main__:start_solution",
"klever-update-preset-mark=klever.cli.__main__:update_preset_mark",
"klever-update-job=klever.cli.__main__:upload_job",
"klever-deploy-local=klever.deploys.local:main",
"klever-deploy-openstack=klever.deploys.openstack:main",
]
},
install_requires=[
"Django==4.0.3",
"BenchExec==3.11",
"clade>=3.6,<3.7",
"psycopg2-binary",
"graphviz",
"celery",
"django_celery_results",
"djangorestframework",
"django-compressor",
"django-mptt",
"gunicorn",
"pika",
"python-slugify",
"pytz",
"jinja2",
"ply",
"pygments",
"requests",
"setuptools_scm",
"sortedcontainers",
"pytest"
],
extras_require={
"strict": open("requirements.txt", encoding="utf8").read().splitlines(),
"docs": ["sphinx", "sphinx_rtd_theme"],
"openstack": [
"python-novaclient",
"python-neutronclient",
"python-glanceclient",
"python-cinderclient",
"keystoneauth1",
"paramiko",
"pycryptodome"
]
},
classifiers=[
"Programming Language :: Python :: 3",
"Programming Language :: Python :: Implementation :: CPython",
"License :: OSI Approved :: Apache Software License",
"Operating System :: POSIX :: Linux",
],
)