search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
125 stars 73 forks source link

Size of the docker container #567

Open sjunges opened 4 weeks ago

sjunges commented 4 weeks ago

In our dockerfile, we currently use multiple layers with multiple compile commands. This generally leads to big docker containers. An open question is whether we can make these docker containers smaller.

volkm commented 4 weeks ago

There is definitely some room for improvement by combing commands in one layer. Another possible option could be to simply install Storm via CMake and then remove all the build artifacts.

sjunges commented 3 weeks ago

I like this second option as being particularly clean...

volkm commented 2 weeks ago

I agree that installing within the Docker container is the best option.

This issue then depends on #527.