|
|
@ -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 |
|
|
|
xxxxxxxxxx