forked from angr/claripy
-
Notifications
You must be signed in to change notification settings - Fork 0
/
setup.py
31 lines (27 loc) · 913 Bytes
/
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
import os
try:
from setuptools import setup
from setuptools import find_packages
packages = find_packages()
except ImportError:
from distutils.core import setup
packages = [x.strip('./').replace('/','.') for x in os.popen('find -name "__init__.py" | xargs -n1 dirname').read().strip().split('\n')]
if bytes is str:
raise Exception("This module is designed for python 3 only. Please install an older version to use python 2.")
with open(os.path.join(os.path.dirname(__file__), 'VERSION')) as f:
version = f.read().strip()
setup(
name='claripy',
version=version,
python_requires='>=3.6',
packages=packages,
install_requires=[
'z3-solver>=4.8.5.0',
'future',
'cachetools',
'decorator',
'pysmt>=0.9.1.dev119',
],
description='An abstraction layer for constraint solvers',
url='https://github.com/angr/claripy',
)