CI job with minimal dependencies - Githubissues

moves-rwth / storm

A Modern Probabilistic Model Checker

https://www.stormchecker.org

GNU General Public License v3.0

135 stars 74 forks source link

CI job with minimal dependencies #520

Closed volkm closed 1 month ago

volkm commented 5 months ago

Added CI job with minimal dependencies based on the Docker image storm-basesystem:minimal_dependencies:

without Z3 (as suggested in https://github.com/moves-rwth/storm/issues/282)
without Eigen
without xerces
without CLN and GiNaC
without GLPK
without hwloc

The CI job already detected multiple issues:

[x] shipped Carl did not compile without CLN and GiNaC
[x] minimal build of Carl needs changes of https://github.com/moves-rwth/carl-storm/pull/40. In particular, the patch step of Eigen in the shipped Carl requires a valid git committer.
[x] a larger number of tests are failing due to missing SMT solver
[x] Glpk needed reconfiguration after removing examples folder

tquatmann commented 5 months ago

current state LGTM!