Stormpy error

gistfile1.txt

paddy@thi234 stormpy % python setup.py develop
running develop
running egg_info
writing lib/stormpy.egg-info/PKG-INFO
writing dependency_links to lib/stormpy.egg-info/dependency_links.txt
writing requirements to lib/stormpy.egg-info/requires.txt
writing top-level names to lib/stormpy.egg-info/top_level.txt
adding license file 'LICENSE' (matched pattern 'LICEN[CS]E*')
reading manifest file 'lib/stormpy.egg-info/SOURCES.txt'
reading manifest template 'MANIFEST.in'
writing manifest file 'lib/stormpy.egg-info/SOURCES.txt'
running build_ext
Stormpy - Building into build/temp.macosx-11.5-x86_64-3.9
Stormpy - Using storm 1.6.4 from /Users/paddy/Storm/build
Stormpy - Support for DFTs found and included.
Stormpy - Support for GSPNs found and included.
Stormpy - Support for parametric models found and included.
Stormpy - Support for POMDP analysis found and included.
Stormpy - CMake args=['-DCMAKE_LIBRARY_OUTPUT_DIRECTORY=/Users/paddy/storm/stormpy/stormpy/lib/stormpy/', '-DPYTHON_EXECUTABLE=/Users/paddy/.pyenv/versions/3.9.6/bin/python', '-DCMAKE_BUILD_TYPE=Release', '-Dstorm_DIR=/Users/paddy/Storm/build', '-DHAVE_STORM_DFT=ON', '-DHAVE_STORM_GSPN=ON', '-DHAVE_STORM_PARS=ON', '-DHAVE_STORM_POMDP=ON']
-- pybind11 v2.2.dev0
-- STORM-DIR: /Users/paddy/Storm/build
-- STORM-INCLUDE-DIR: /Users/paddy/storm/build/include/
-- Configuring done
-- Generating done
-- Build files have been written to: /Users/paddy/storm/stormpy/stormpy/build/temp.macosx-11.5-x86_64-3.9
Consolidate compiler generated dependencies of target core
[  8%] Building CXX object CMakeFiles/core.dir/src/core/core.cpp.o
[ 16%] Building CXX object CMakeFiles/core.dir/src/core/result.cpp.o
[ 25%] Building CXX object CMakeFiles/core.dir/src/core/simulator.cpp.o
[ 33%] Building CXX object CMakeFiles/core.dir/src/core/transformation.cpp.o
/Users/paddy/storm/stormpy/stormpy/src/core/simulator.cpp:3:10: fatal error: 'storm/simulator/PrismProgramSimulator.h' file not found
#include <storm/simulator/PrismProgramSimulator.h>
         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
1 error generated.
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:95:12: error: no matching function for call to 'makeExplicitModelBuilder'
    return storm::api::makeExplicitModelBuilder<double>(model, options, nullptr); // Do not set ActionMask
           ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/Users/paddy/storm/build/include/storm/api/builder.h:88:57: note: candidate function template not viable: requires 2 arguments, but 3 were provided
        storm::builder::ExplicitModelBuilder<ValueType> makeExplicitModelBuilder(storm::storage::SymbolicModelDescription const& model, storm::builder::BuilderOptions const& options) {
                                                        ^
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:146:71: error: no member named 'size' in 'storm::builder::ExplicitStateLookup<unsigned int>'
        { auto res = lookup.lookup(stateDescription); if (res==lookup.size()) {return py::none();} else {return py::cast(res);}} , py::arg("state_description"))
                                                               ~~~~~~ ^
make[3]: *** [CMakeFiles/core.dir/src/core/simulator.cpp.o] Error 1
make[3]: *** Waiting for unfinished jobs....
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:163:34: error: no member named 'ActionMask' in namespace 'storm::generator'
    py::class_<storm::generator::ActionMask<double>, std::shared_ptr<storm::generator::ActionMask<double>>> actionmask(m, "ActionMaskDouble");
               ~~~~~~~~~~~~~~~~~~^
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:163:51: error: expected '(' for function-style cast or type construction
    py::class_<storm::generator::ActionMask<double>, std::shared_ptr<storm::generator::ActionMask<double>>> actionmask(m, "ActionMaskDouble");
                                            ~~~~~~^
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:163:52: error: expected unqualified-id
    py::class_<storm::generator::ActionMask<double>, std::shared_ptr<storm::generator::ActionMask<double>>> actionmask(m, "ActionMaskDouble");
                                                   ^
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:164:34: error: no member named 'StateValuationFunctionMask' in namespace 'storm::generator'
    py::class_<storm::generator::StateValuationFunctionMask<double>, std::shared_ptr<storm::generator::StateValuationFunctionMask<double>>> actfuncmask(m, "StateValuationFunctionActionMaskDouble", actionmask);
               ~~~~~~~~~~~~~~~~~~^
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:164:67: error: expected '(' for function-style cast or type construction
    py::class_<storm::generator::StateValuationFunctionMask<double>, std::shared_ptr<storm::generator::StateValuationFunctionMask<double>>> actfuncmask(m, "StateValuationFunctionActionMaskDouble", actionmask);
                                                            ~~~~~~^
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:164:68: error: expected unqualified-id
    py::class_<storm::generator::StateValuationFunctionMask<double>, std::shared_ptr<storm::generator::StateValuationFunctionMask<double>>> actfuncmask(m, "StateValuationFunctionActionMaskDouble", actionmask);
                                                                   ^
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:165:5: error: use of undeclared identifier 'actfuncmask'
    actfuncmask.def(py::init<std::function<bool (storm::expressions::SimpleValuation const&, uint64_t)>>(), py::arg("f"));
    ^
In file included from /Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:1:
In file included from /Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/functional.h:12:
/Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/pybind11.h:127:9: error: static_assert failed due to requirement 'detail::expected_num_args(sizeof...(Args), argument_loader<const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &>::has_args, argument_loader<const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &>::has_kwargs)' "The number of argument annotations does not match the number of function arguments"
        static_assert(detail::expected_num_args<Extra...>(sizeof...(Args), cast_in::has_args, cast_in::has_kwargs),
        ^             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/pybind11.h:53:9: note: in instantiation of function template specialization 'pybind11::cpp_function::initialize<storm::builder::ExplicitModelBuilder<double> (*&)(const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &), storm::builder::ExplicitModelBuilder<double>, const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &, pybind11::name, pybind11::scope, pybind11::sibling, char [29], pybind11::arg, pybind11::arg, pybind11::arg_v>' requested here
        initialize(f, f, extra...);
        ^
/Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/pybind11.h:751:22: note: in instantiation of function template specialization 'pybind11::cpp_function::cpp_function<storm::builder::ExplicitModelBuilder<double>, const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &, pybind11::name, pybind11::scope, pybind11::sibling, char [29], pybind11::arg, pybind11::arg, pybind11::arg_v>' requested here
        cpp_function func(std::forward<Func>(f), name(name_), scope(*this),
                     ^
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:130:7: note: in instantiation of function template specialization 'pybind11::module::def<storm::builder::ExplicitModelBuilder<double> (*)(const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &), char [29], pybind11::arg, pybind11::arg, pybind11::arg_v>' requested here
    m.def("make_sparse_model_builder", &storm::api::makeExplicitModelBuilder<double>, "Construct a builder instance", py::arg("model_description"), py::arg("options"), py::arg("action_mask") = nullptr);
      ^
In file included from /Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:1:
In file included from /Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/functional.h:12:
/Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/pybind11.h:127:9: error: static_assert failed due to requirement 'detail::expected_num_args(sizeof...(Args), argument_loader<const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &>::has_args, argument_loader<const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &>::has_kwargs)' "The number of argument annotations does not match the number of function arguments"
        static_assert(detail::expected_num_args<Extra...>(sizeof...(Args), cast_in::has_args, cast_in::has_kwargs),
        ^             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/pybind11.h:53:9: note: in instantiation of function template specialization 'pybind11::cpp_function::initialize<storm::builder::ExplicitModelBuilder<__gmp_expr<mpq_t, mpq_t>> (*&)(const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &), storm::builder::ExplicitModelBuilder<__gmp_expr<mpq_t, mpq_t>>, const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &, pybind11::name, pybind11::scope, pybind11::sibling, char [29], pybind11::arg, pybind11::arg, pybind11::arg_v>' requested here
        initialize(f, f, extra...);
        ^
/Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/pybind11.h:751:22: note: in instantiation of function template specialization 'pybind11::cpp_function::cpp_function<storm::builder::ExplicitModelBuilder<__gmp_expr<mpq_t, mpq_t>>, const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &, pybind11::name, pybind11::scope, pybind11::sibling, char [29], pybind11::arg, pybind11::arg, pybind11::arg_v>' requested here
        cpp_function func(std::forward<Func>(f), name(name_), scope(*this),
                     ^
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:131:7: note: in instantiation of function template specialization 'pybind11::module::def<storm::builder::ExplicitModelBuilder<__gmp_expr<mpq_t, mpq_t>> (*)(const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &), char [29], pybind11::arg, pybind11::arg, pybind11::arg_v>' requested here
    m.def("make_sparse_model_builder_exact", &storm::api::makeExplicitModelBuilder<storm::RationalNumber>, "Construct a builder instance", py::arg("model_description"), py::arg("options"), py::arg("action_mask") = nullptr);
      ^
In file included from /Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:1:
In file included from /Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/functional.h:12:
/Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/pybind11.h:127:9: error: static_assert failed due to requirement 'detail::expected_num_args(sizeof...(Args), argument_loader<const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &>::has_args, argument_loader<const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &>::has_kwargs)' "The number of argument annotations does not match the number of function arguments"
        static_assert(detail::expected_num_args<Extra...>(sizeof...(Args), cast_in::has_args, cast_in::has_kwargs),
        ^             ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
/Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/pybind11.h:53:9: note: in instantiation of function template specialization 'pybind11::cpp_function::initialize<storm::builder::ExplicitModelBuilder<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA>>, true>> (*&)(const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &), storm::builder::ExplicitModelBuilder<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA>>, true>>, const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &, pybind11::name, pybind11::scope, pybind11::sibling, char [29], pybind11::arg, pybind11::arg, pybind11::arg_v>' requested here
        initialize(f, f, extra...);
        ^
/Users/paddy/storm/stormpy/stormpy/resources/pybind11/include/pybind11/pybind11.h:751:22: note: in instantiation of function template specialization 'pybind11::cpp_function::cpp_function<storm::builder::ExplicitModelBuilder<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA>>, true>>, const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &, pybind11::name, pybind11::scope, pybind11::sibling, char [29], pybind11::arg, pybind11::arg, pybind11::arg_v>' requested here
        cpp_function func(std::forward<Func>(f), name(name_), scope(*this),
                     ^
/Users/paddy/storm/stormpy/stormpy/src/core/core.cpp:132:7: note: in instantiation of function template specialization 'pybind11::module::def<storm::builder::ExplicitModelBuilder<carl::RationalFunction<carl::FactorizedPolynomial<carl::MultivariatePolynomial<cln::cl_RA>>, true>> (*)(const storm::storage::SymbolicModelDescription &, const storm::builder::BuilderOptions &), char [29], pybind11::arg, pybind11::arg, pybind11::arg_v>' requested here
    m.def("make_sparse_model_builder_parametric", &storm::api::makeExplicitModelBuilder<storm::RationalFunction>, "Construct a builder instance", py::arg("model_description"), py::arg("options"), py::arg("action_mask") = nullptr);
      ^
12 errors generated.
make[3]: *** [CMakeFiles/core.dir/src/core/core.cpp.o] Error 1
make[2]: *** [CMakeFiles/core.dir/all] Error 2
make[1]: *** [CMakeFiles/core.dir/rule] Error 2
make: *** [core] Error 2
Traceback (most recent call last):
  File "/Users/paddy/storm/stormpy/stormpy/setup.py", line 237, in <module>
    setup(
  File "/Users/paddy/.pyenv/versions/3.9.6/lib/python3.9/site-packages/setuptools/__init__.py", line 153, in setup
    return distutils.core.setup(**attrs)
  File "/Users/paddy/.pyenv/versions/3.9.6/lib/python3.9/distutils/core.py", line 148, in setup
    dist.run_commands()
  File "/Users/paddy/.pyenv/versions/3.9.6/lib/python3.9/distutils/dist.py", line 966, in run_commands
    self.run_command(cmd)
  File "/Users/paddy/.pyenv/versions/3.9.6/lib/python3.9/distutils/dist.py", line 985, in run_command
    cmd_obj.run()
  File "/Users/paddy/.pyenv/versions/3.9.6/lib/python3.9/site-packages/setuptools/command/develop.py", line 34, in run
    self.install_for_development()
  File "/Users/paddy/.pyenv/versions/3.9.6/lib/python3.9/site-packages/setuptools/command/develop.py", line 136, in install_for_development
    self.run_command('build_ext')
  File "/Users/paddy/.pyenv/versions/3.9.6/lib/python3.9/distutils/cmd.py", line 313, in run_command
    self.distribution.run_command(command)
  File "/Users/paddy/.pyenv/versions/3.9.6/lib/python3.9/distutils/dist.py", line 985, in run_command
    cmd_obj.run()
  File "/Users/paddy/storm/stormpy/stormpy/setup.py", line 195, in run
    self.build_extension(ext, cmake_args, build_args)
  File "/Users/paddy/storm/stormpy/stormpy/setup.py", line 234, in build_extension
    subprocess.check_call(['cmake', '--build', '.', '--target', ext.name] + build_args, cwd=self.build_temp)
  File "/Users/paddy/.pyenv/versions/3.9.6/lib/python3.9/subprocess.py", line 373, in check_call
    raise CalledProcessError(retcode, cmd)
subprocess.CalledProcessError: Command '['cmake', '--build', '.', '--target', 'core', '--config', 'Release', '--', '-j8']' returned non-zero exit status 2.