You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Based on a discussion in moves-rwth/pycarl#15 (comment) we should check the PyBind11 version that pycarl uses and compare it to the one we are using for stormpy. While it may work without issue, at least providing a warning may be essential to prevent strange errors.
The text was updated successfully, but these errors were encountered:
I fully agree.
The technical question is how to get the pybind version? While pybind has the variable pybind11_VERSION (see here), using add_subdirectory opens a new scope such that one cannot access this variable from outside.
One possibility might be to use find_package which needs an installation of pybind though.
Or we build a python function which accesses the version information available in pybind11.h. However, in that case the check can only be performed after compilation is finished.
Based on a discussion in moves-rwth/pycarl#15 (comment) we should check the PyBind11 version that pycarl uses and compare it to the one we are using for stormpy. While it may work without issue, at least providing a warning may be essential to prevent strange errors.
The text was updated successfully, but these errors were encountered: