Skip to content

Scikit for CmakeUpdates#229

Merged
sjunges merged 70 commits into
stormchecker:masterfrom
sjunges:scikit
Jun 17, 2025
Merged

Scikit for CmakeUpdates#229
sjunges merged 70 commits into
stormchecker:masterfrom
sjunges:scikit

Conversation

@sjunges

@sjunges sjunges commented Jun 1, 2025

Copy link
Copy Markdown
Contributor

Updates that build upon the cmake updates in storm. This now allows building wheels.

Fixes #216.
Fixes #161

@sjunges sjunges requested a review from volkm June 11, 2025 19:53

@volkm volkm left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Overall LGTM. I have some smaller clarifying questions.

Note that I opted to use pybind version 2.12.1 for now. Pybind versions 2.13 lead to a build error for me which I still need to investigate.

Comment thread CMakeLists.txt Outdated
Comment thread pyproject.toml Outdated
Comment thread src/pomdp/quantitative_analysis.cpp
## Quick-n-dirty approach (much faster than doing the install, which copies thousands of files)
#ln -s /tmp/boost_${boost_version_under}/boost /usr/include/boost

# Install ginac

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why can we not use the ginac package from the package manager?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We probably can, but the general advice seems to be to not use brew (and similar things hold for other package managers).

https://cibuildwheel.pypa.io/en/stable/faq/#missing-dependencies

I think having the ability to build a version from source is probably good in terms of flexibility here.

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ok, so we should try to not rely on homebrew. In this case, I suggest that we also try to build cln manually, and maybe some other libraries if needed.

@sjunges sjunges merged commit db5961f into stormchecker:master Jun 17, 2025
14 of 20 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Get carl directory from Storm Package stormpy as a wheel

3 participants