-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsetup.py
58 lines (51 loc) · 2.2 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
#!/usr/bin/env python
from setuptools import setup
import os
base = os.path.dirname(os.path.abspath(__file__))
VERSION = open(os.path.join(base, 'version.txt')).read()[:-1]
requires = ['pyinterval', 'crlibm']
dependency_links = [
'git+https://github.com/jesusjda/pplpy.git#egg=pplpy-0.7.1',
'git+https://github.com/jesusjda/pyLPi.git#egg=pyLPi',
'git+https://github.com/jesusjda/pyParser.git#egg=genericparser-1.2'
]
ter_dir = os.path.join(base, 'termination')
ter_name = 'termination'
teralg_dir = os.path.join(ter_dir, 'algorithm')
teralg_name = ter_name + '.algorithm'
inv_dir = os.path.join(base, 'nodeproperties')
inv_name = 'nodeproperties'
inv_abs_dir = os.path.join(inv_dir, 'abstractStates')
inv_abs_name = inv_name + '.abstractStates'
pe_dir = os.path.join(base, 'partialevaluation')
pe_name = 'partialevaluation'
pe_pkg_data = ['*.py', 'bin/*']
setup(
name='pytermination',
version=VERSION,
description='Python Termination Analysis Module',
long_description=open("README.md").read(),
author='Jesus Domenech',
author_email='[email protected]',
url='https://github.com/jesusjda/pyrankfinder',
download_url='https://github.com/jesusjda/pyRankFinder/archive/{}.tar.gz'.format(VERSION),
license='GPL v3',
platforms=['any'],
packages=[ter_name, inv_name, pe_name, teralg_name, inv_abs_name],
package_dir={ter_name: ter_dir, inv_name: inv_dir, pe_name: pe_dir, teralg_name: teralg_dir, inv_abs_name: inv_abs_dir},
package_data={ter_name: ['*.py'], inv_name: ['*.py'], pe_name: pe_pkg_data, teralg_name: ["*.py"], inv_abs_name: ["*.py"]},
install_requires=requires,
dependency_links=dependency_links,
classifiers=[
"License :: OSI Approved :: GNU General Public License v3 (GPLv3)",
"Programming Language :: Python",
"Development Status :: 4 - Beta",
"Operating System :: Unix",
"Intended Audience :: Science/Research",
'Programming Language :: Python :: 3',
'Programming Language :: Python :: 3.4',
'Programming Language :: Python :: 3.5',
'Programming Language :: Python :: 3.6'
],
keywords=['termination', 'ranking functions', 'static analysis', 'invariants', 'partial evaluation'],
)