vara-container

This tool is used to manage the base container images used when using our container support.

Usage: vara-container [OPTIONS] COMMAND [ARGS]...

  Manage base container images.

Options:
  -h, --help  Show this message and exit.

Commands:
  build   Build base containers for the current research tool.
  delete  Delete base containers for the current research tool.
  select  Select the research tool to be used in base containers.

This tool provides an easy way to select the research tool that is used in the base containers:

The path '/home/docs/checkouts/readthedocs.org/user_builds/vara/checkouts/vara-dev/docs/source/containers/lib' is required by your configuration.
The path '/home/docs/checkouts/readthedocs.org/user_builds/vara/checkouts/vara-dev/docs/source/containers/run' is required by your configuration.
The path '/home/docs/checkouts/readthedocs.org/user_builds/vara/checkouts/vara-dev/docs/source/containers/export' is required by your configuration.
Usage: vara-container select [OPTIONS]

  Select the research tool to be used in base containers.

Options:
  -t, --tool [phasar|vara|szzunleashed|none]
                                  The research tool to activate.
  -h, --help                      Show this message and exit.

With vara-container build, you can build all base container images for the current research tool. Additional flags allow to only re-build parts of the base image.

Usage: vara-container build [OPTIONS]

  Build base containers for the current research tool.

Options:
  --debug                         Debug failed image builds interactively.
  --export                        Export the built images to the filesystem.
  --force-rebuild                 Rebuild all stages of the base image even if
                                  they already exist.
  --update-tool-suite             Only update the tool suite. Implies
                                  --update-research-tool and --update-config.
  --update-research-tool          Only update the research tool. Implies
                                  --update config.
  --update-config                 Only update the config.
  -i, --image [DEBIAN_10|DEBIAN_12]
                                  Only build the given image.
  -h, --help                      Show this message and exit.

Existing base images can also be deleted:

Usage: vara-container delete [OPTIONS]

  Delete base containers for the current research tool.

Options:
  --build-type [dbg|dev|opt|pgo|dev_san]
                                  If present, delete the dev images for the
                                  current research tool and the given build
                                  type.
  -i, --image [DEBIAN_10|DEBIAN_12]
                                  Only delete the given image. Can be given
                                  multiple times.
  -h, --help                      Show this message and exit.

Note

This command does not delete project and experiment images, it only deletes base images. To delete project and experiment images use BenchBuild’s benchbuild container rmi command.