Added configuration options to Dockerfile

moves-rwth / storm

A Modern Probabilistic Model Checker

https://www.stormchecker.org

GNU General Public License v3.0

126 stars 73 forks source link

Closed volkm closed 1 month ago

volkm commented 1 month ago

Allow to enable/disable several libraries/configs in the Dockerfile. Also adapted the CI build configs to the new Dockerfile.

volkm commented 1 month ago

Mathsat is currently provided via cmake_args. We should use the common format after https://github.com/moves-rwth/storm/issues/546 is addressed.