Dockerfiles related to Storm

All Docker containers related to Storm are hosted at the movesrwth organization on DockerHub. The Dockerfiles are present in the corresponding repositories.

Actions

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.

File structure

• 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.

Configuration options

• 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 either Release or Debug.
  • The number of threads no_threads to use for parallel compilation.
• The resources for Docker (number of CPUs, memory, etc.) can be configured in the Docker settings.