All Docker containers related to Storm are hosted at the movesrwth organization on DockerHub. The Dockerfiles are present in the corresponding repositories.
Docker containers can be automatically generated via Github Actions.
Build basesystem
: builds all base systems for Storm.Build base with dependencies
: builds Docker containers containing all dependencies for Storm.
- storm-basesystem: Dockerfile and build script for the Linux base images with the dependencies required by Storm.
- carl-storm: Build script for Carl-storm library.
- storm-dependencies: Dockerfile and build script preparing the dependencies for Storm (carl-storm, Spot, MathSAT, SoPlex)
- storm: Build script for Storm.
- stormpy: Build script for stormpy.
- doc: General documentation, for example on building Docker containers for new releases.
- The configuration options are given at the top of each Dockerfile.
A configuration
arg_name
can be changed from the commandline by adding--build-arg <arg_name>=<value>
. - Common configurations options are:
- The base image
BASE_IMAGE
used for the Dockerfile. - The CMake build type
build_type
can be set to eitherRelease
orDebug
. - The number of threads
no_threads
to use for parallel compilation.
- The base image
- The resources for Docker (number of CPUs, memory, etc.) can be configured in the Docker settings.