# This Dockerfile is used by all portability-.../devcontainer.json files,
# which provide the actual values for the 4 arguments defined below, which
# feed into the FROM statement that determines the base Docker image.
ARG SYSTEM_FACTOR="ubuntu-jammy"
ARG PACKAGE_FACTOR="standard"
ARG DOCKER_TARGET="with-system-packages"
ARG DOCKER_TAG="dev"
FROM ghcr.io/sagemath/sage/sage-${SYSTEM_FACTOR}-${PACKAGE_FACTOR}-${DOCKER_TARGET}:${DOCKER_TAG}
