setup.py 1.13 KB
Newer Older
Thom Badings's avatar
Thom Badings committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
import os
import sys

from setuptools import setup
from setuptools.command.test import test

# Get the long description from the README file
with open(os.path.join(os.path.abspath(os.path.dirname(__file__)), 'README.md'), encoding='utf-8') as f:
    long_description = f.read()


class PyTest(test):
    def run_tests(self):
        # import here, cause outside the eggs aren't loaded
        import pytest
        errno = pytest.main(['test'])
        sys.exit(errno)


setup(
Thom Badings's avatar
synch    
Thom Badings committed
21
    name='scenario-upMDPs',
Thom Badings's avatar
Thom Badings committed
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
    version='0.1',
    author='T. Badings, M. Cubuktepe',
    author_email='thom.badings@ru.nl',
    description='Scenario-Based Verification of Uncertain Parametric MDPs',
    long_description=long_description,
    long_description_content_type='text/markdown',
    cmdclass={
        'test': PyTest
    },
    zip_safe=False,
    install_requires=[
        'stormpy>=1.6.4', # Back-end model checker
        'numpy>=1.21.4',
        'tqdm>=4.62.3', # Progress bar
        'pandas>=1.3.5',
        'setuptools>=58.0.4',
        'scipy>=1.8.0'
    ],
    setup_requires=['pytest-runner'],
    tests_require=['pytest'],
    python_requires='>=3',
)