-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathsetup.py
43 lines (37 loc) · 981 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
32
33
34
35
36
37
38
39
40
41
42
43
"""
Setup script
"""
import os
from setuptools import setup, find_packages
with open("README.md", "r", encoding="utf-8") as fh:
long_description = fh.read()
def _post_install():
print("Installing z3...")
os.system("pysmt-install --z3 --confirm-agreement")
os.system("export PYSMT_CYTHON=0")
setup(
name="labop_check",
version="0.1.3",
description="LabOP Checker",
long_description=long_description,
long_description_content_type="text/markdown",
url="https://github.com/SD2E/labop-check",
author="Dan Bryce",
author_email="[email protected]",
license="MIT",
packages=find_packages("src"),
package_dir={"": "src"},
install_requires=[
# "labop" This requires that labop have a valid package name
"pint",
"pysmt",
"sbol3",
"z3-solver",
# "plotly>=5.3.1",
"pandas",
"graphviz",
],
tests_require=["pytest"],
zip_safe=False,
)
_post_install()