setup.py

from distutils.core import setup
from setuptools.command.develop import develop
from setuptools.command.install import install
from setuptools.command.test import test
from wheel import bdist_wheel
import sys
import re

if sys.version_info[0] == 2:
    sys.exit("Sorry, Python 2 is not supported.")


def obtain_version():
    """
    Obtains the version as specified in prophesy.
    :return: Version of prophesy.
    """
    verstr = "unknown"
    try:
        verstrline = open('prophesy/_version.py', "rt").read()
    except EnvironmentError:
        pass  # Okay, there is no version file.
    else:
        VSRE = r"^__version__ = ['\"]([^'\"]*)['\"]"
        mo = re.search(VSRE, verstrline, re.M)
        if mo:
            verstr = mo.group(1)
        else:
            raise RuntimeError("unable to find version in prophesy/_version.py")
    return verstr


class ConfigDevelop(develop):
    """
    Custom command to write the config files after installation
    """
    user_options = develop.user_options + [
        ('search-path=', None, 'Path to search for tools'),
    ]

    def initialize_options(self):
        develop.initialize_options(self)
        self.search_path = None

    def finalize_options(self):
        develop.finalize_options(self)

    def run(self):
        develop.run(self)
        # Write config after installing the dependencies
        # as pycarl must be present already
        import prophesy_write_config
        prophesy_write_config.write_initial_config(self.search_path, skip_existing=True)


class ConfigInstall(install):
    """
    Custom command to write the config files after installation
    """

    user_options = install.user_options + [
        ('search-path=', None, 'Path to search for tools'),
    ]

    def initialize_options(self):
        install.initialize_options(self)
        self.search_path = None

    def finalize_options(self):
        install.finalize_options(self)

    def run(self):
        install.run(self)
        # Write config after installing the dependencies
        # as pycarl must be present already
        import prophesy_write_config
        prophesy_write_config.write_initial_config(self.search_path)


class Tox(test):
    """
    Custom command to execute the tests using tox
    """

    def finalize_options(self):
        TestCommand.finalize_options(self)
        self.test_args = []
        self.test_suite = True

    def run_tests(self):
        # import here, cause outside the eggs aren't loaded
        import tox
        errcode = tox.cmdline(self.test_args)
        sys.exit(errcode)


setup(
    name="Prophesy",
    version=obtain_version(),
    author="S. Junges, M. Volk",
    author_email="sebastian.junges@cs.rwth-aachen.de",
    maintainer="S. Junges",
    maintainer_email="sebastian.junges@cs.rwth-aachen.de",
    license="GPLv3",
    url="https://moves-rwth.github.io/prophesy/",
    description="Prophesy - Parametric Probabilistic Model Checking",
    long_description="Prophesy is a library and script-collection for methods handling parameter synthesis in Markov decision processes and Markov chains",
    packages=["prophesy", "prophesy.adapter", "prophesy.data", "prophesy.exceptions", "prophesy.input",
              "prophesy.modelcheckers", "prophesy.modelrepair", "prophesy.optimisation",
              "prophesy.output", "prophesy.regions",  "prophesy.sampling", "prophesy.smt", "prophesy.script_utilities"
              ],
    install_requires=[ 'pycarl>=2.0.3', 'shapely',
                      'numpy', 'matplotlib', 'heuristic_optimization>=0.4.3,<0.5', 'click'],
    tests_require=['pytest'],
    extras_require={
        'stormpy': ["stormpy"],
        'pdf': ["PyPDF2"]
    },
    package_data={
        'prophesy': []
    },
    scripts=[
        'scripts/parameter_synthesis.py',
        'prophesy_write_config.py'],
    cmdclass={
        'develop': ConfigDevelop,
        'install': ConfigInstall,
        'test': Tox
    }
)