-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathsetup.py
51 lines (44 loc) · 1.69 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
#!/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]
pkg_dir = os.path.join(base, 'lpi')
pkg_name = 'lpi'
requires = ['z3-solver']
dependency_links = [
'git+https://github.com/jesusjda/pplpy.git#egg=pplpy-0.7.1'
]
solver_name = "solvers"
solver_dir = os.path.join(pkg_dir, solver_name)
solver_name = pkg_name + "." + solver_name
setup(
name='pylpi',
version=VERSION,
description='Linnear Programming Common Interface for ppl and z3',
long_description=open(os.path.join(base, "README.md")).read(),
author='Jesus Domenech',
author_email='[email protected]',
url='https://github.com/jesusjda/pyLPi',
download_url='https://github.com/jesusjda/pyLPi/archive/{}.tar.gz'.format(VERSION),
license='GPL v3',
platforms=['any'],
packages=[pkg_name, solver_name],
package_dir={pkg_name: pkg_dir, solver_name: solver_dir},
package_data={pkg_name: ['*.py'], solver_name: ['*.py']},
install_requires=requires,
dependency_links=dependency_links,
classifiers=[
"License :: OSI Approved :: GNU General Public License v3 (GPLv3)",
"Programming Language :: C++",
"Programming Language :: Python",
"Development Status :: 5 - Production/Stable",
"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=['linear-programming', 'ppl', 'z3', 'polyhedra', 'expressions', 'constraints']
)