From f1ec4763c877156583759135f6be487e386fb33f Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Sat, 14 Dec 2019 19:55:44 +0100 Subject: [PATCH] Require Storm version 1.4.1 --- .travis.yml | 8 ++++---- setup.py | 4 ++-- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/.travis.yml b/.travis.yml index d256830..9ac38ba 100644 --- a/.travis.yml +++ b/.travis.yml @@ -48,13 +48,13 @@ jobs: # Docker Storm stable - os: linux compiler: gcc - env: TASK=Test CONFIG=Release DOCKER=storm:1.4.0 PYTHON=python3 + env: TASK=Test CONFIG=Release DOCKER=storm:1.4.1 PYTHON=python3 script: travis/build.sh # Docker Storm stable in debug mode - os: linux compiler: gcc - env: TASK=Test CONFIG=Debug DOCKER=storm:1.4.0-debug PYTHON=python3 + env: TASK=Test CONFIG=Debug DOCKER=storm:1.4.1-debug PYTHON=python3 script: travis/build.sh # Documentation @@ -76,6 +76,6 @@ jobs: # Allow failures of stable versions as new features might have been added allow_failures: - os: linux - env: TASK=Test CONFIG=Release DOCKER=storm:1.4.0 PYTHON=python3 + env: TASK=Test CONFIG=Release DOCKER=storm:1.4.1 PYTHON=python3 - os: linux - env: TASK=Test CONFIG=Debug DOCKER=storm:1.4.0-debug PYTHON=python3 + env: TASK=Test CONFIG=Debug DOCKER=storm:1.4.1-debug PYTHON=python3 diff --git a/setup.py b/setup.py index 46119c5..1a2ac33 100755 --- a/setup.py +++ b/setup.py @@ -14,7 +14,7 @@ if sys.version_info[0] == 2: sys.exit('Sorry, Python 2.x is not supported') # Minimal storm version required -storm_min_version = "1.4.0" +storm_min_version = "1.4.1" # 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: @@ -235,7 +235,7 @@ setup( cmdclass={'build_ext': CMakeBuild}, zip_safe=False, - install_requires=['pycarl>=2.0.3'], + install_requires=['pycarl>=2.0.4'], setup_requires=['pytest-runner'], tests_require=['pytest'], python_requires='>=3',