From f86695aee15fd3d200c89fbe1ca27000650328f0 Mon Sep 17 00:00:00 2001 From: Mavo Date: Tue, 31 May 2016 15:59:15 +0200 Subject: [PATCH] Forget package for storage Former-commit-id: 35744da4b358fd0f5ee848de7801cc05819064df --- stormpy/setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/stormpy/setup.py b/stormpy/setup.py index a15acca1a..6e9504a74 100755 --- a/stormpy/setup.py +++ b/stormpy/setup.py @@ -151,7 +151,7 @@ setup(name="stormpy", maintainer_email="sebastian.junges@cs.rwth-aachen.de", url="http://moves.rwth-aachen.de", description="stormpy - Python Bindings for Storm", - packages=['stormpy', 'stormpy.info', 'stormpy.expressions', 'stormpy.logic'], + packages=['stormpy', 'stormpy.info', 'stormpy.expressions', 'stormpy.logic', 'stormpy.storage'], package_dir={'':'lib'}, ext_package='stormpy', ext_modules=[ext_core, ext_info, ext_expressions, ext_logic, ext_storage