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.arg_name
can be changed from the commandline by adding --build-arg <arg_name>=<value>
.BASE_IMAGE
used for the Dockerfile.build_type
can be set to either Release
or Debug
.no_threads
to use for parallel compilation.