Conversation
|
The libraries are installed to /usr/lib/storm, /usr/lib/storm/resources, not to bin/ or to include/ :-)
|
|
Installing from the deb package actually places the binaries in both /bin and /usr/bin, similar happens for the libs. Maybe putting them in /bin and /lib can be disabled. Providing a separate package for carl is actually a good idea. It is a dependency and therefore should be separate package in my view. The debian package is created from cmake via |
| runs-on: ${{ matrix.platform.runner }} | ||
| strategy: | ||
| matrix: | ||
| distro: |
There was a problem hiding this comment.
Is ubuntu:rolling the same as ubuntu 25.10 right now?
There was a problem hiding this comment.
26.04 will be out on April 23rd
2 participants
Revised the existing CPack configuration to build .deb packages for Debian and Ubuntu and moved the file to
resources/cmake.I also added a CI workflow which builds the Debian packages, stores them as artifacts and tests them by building the starter-project.
Creating the packages is successful but the installation still has an issue. As seen here, the storm libraries are not found afterwards.A couple of observations:
ldd on /usr/lib/storm/libstorm.so shows that all reference can be resolved, ldd on /usr/bin/storm shows that the storm libs cannot be foundthe libraries are installed in /lib/storm/, /bin/, and /usr/lib/storm, /usr/include/storm, /usr/bin. The carl installation is different from the rest because carl is installed in /usr/local/lib/storm/resources/ and /usr/local/include/storm/resources/carl/.Edit: creating packages should now be successful after integrating the following changes:
I tested a combined version of all proposed changes in https://github.com/volkm/storm/tree/installation-test.