Skip to content
This repository has been archived by the owner on Jan 30, 2023. It is now read-only.

Commit

Permalink
tox.ini, build/bin/write-dockerfile.sh: Add 'tox -e docker-...-increm…
Browse files Browse the repository at this point in the history
…ental'
  • Loading branch information
mkoeppe committed Jul 26, 2022
1 parent 7f71494 commit a9eaae5
Show file tree
Hide file tree
Showing 2 changed files with 23 additions and 6 deletions.
22 changes: 17 additions & 5 deletions build/bin/write-dockerfile.sh
Expand Up @@ -34,6 +34,13 @@ echo "# to simplify writing scripts that customize this file"
ADD="ADD $__CHOWN"
RUN=RUN
case $SYSTEM in
none)
# No system packages to install
cat <<EOF
ARG BASE_IMAGE=ghcr.io/sagemath/sage/sage-docker-ubuntu-jammy-standard-with-targets
FROM \${BASE_IMAGE} as with-system-packages
EOF
;;
debian*|ubuntu*)
cat <<EOF
ARG BASE_IMAGE=ubuntu:latest
Expand Down Expand Up @@ -166,11 +173,15 @@ EOF
exit 1
;;
esac
cat <<EOF
case $SYSTEM in
none)
;;
*)
cat <<EOF
#:packages:
ENV PACKAGES="$SYSTEM_PACKAGES"
EOF
case "$IGNORE_MISSING_SYSTEM_PACKAGES" in
case "$IGNORE_MISSING_SYSTEM_PACKAGES" in
no)
cat <<EOF
RUN $UPDATE $INSTALL $SYSTEM_PACKAGES $CLEAN
Expand Down Expand Up @@ -203,13 +214,14 @@ EOF
*)
echo "Argument IGNORE_MISSING_SYSTEM_PACKAGES must be yes or no"
;;
esac
esac
cat <<EOF
FROM with-system-packages as bootstrapped
#:bootstrapping:
RUN mkdir -p sage
WORKDIR sage
RUN if [ -d /sage ]; then mv /sage /sage-old && mkdir /sage && mv /sage-old/local /sage/ && rm -rf /sage-old; else mkdir -p /sage; fi
WORKDIR /sage
$ADD Makefile VERSION.txt COPYING.txt condarc.yml README.md bootstrap bootstrap-conda configure.ac sage .homebrew-build-env tox.ini Pipfile.m4 ./
$ADD config/config.rpath config/config.rpath
$ADD src/doc/bootstrap src/doc/bootstrap
Expand All @@ -223,7 +235,7 @@ $RUN sh -x -c "\${BOOTSTRAP}" $ENDRUN
FROM bootstrapped as configured
#:configuring:
RUN mkdir -p logs/pkgs; ln -s logs/pkgs/config.log config.log
RUN mkdir -p logs/pkgs; rm -f config.log; ln -s logs/pkgs/config.log config.log
ARG EXTRA_CONFIGURE_ARGS=""
EOF
if [ ${WITH_SYSTEM_SPKG} = "force" ]; then
Expand Down
7 changes: 6 additions & 1 deletion tox.ini
Expand Up @@ -142,6 +142,9 @@ passenv =
docker: DOCKER_PUSH_REPOSITORY
# If set, we symlink this file into {envdir}/.docker/; this can be used for providing credentials for pushing
docker: DOCKER_CONFIG_FILE
docker-incremental: FROM_DOCKER_REPO
docker-incremental: FROM_DOCKER_TARGET
docker-incremental: FROM_DOCKER_TAG
local: MAKE
local: PREFIX
local: SAGE_NUM_THREADS
Expand Down Expand Up @@ -447,7 +450,9 @@ setenv =
#
# Resulting full image:tag name
#
docker: FULL_BASE_IMAGE_AND_TAG={env:ARCH_IMAGE_PREFIX:}{env:BASE_IMAGE}{env:ARCH_IMAGE_SUFFIX:}:{env:ARCH_TAG_PREFIX:}{env:BASE_TAG}{env:ARCH_TAG_SUFFIX:}
docker: FULL_BASE_IMAGE_AND_TAG={env:ARCH_IMAGE_PREFIX:}{env:BASE_IMAGE}{env:ARCH_IMAGE_SUFFIX:}:{env:ARCH_TAG_PREFIX:}{env:BASE_TAG}{env:ARCH_TAG_SUFFIX:}
docker-incremental: FULL_BASE_IMAGE_AND_TAG={env:FROM_DOCKER_REPO:ghcr.io/sagemath/sage/sage-}$(echo {envname} | sed 's/-incremental//')-{env:FROM_DOCKER_TARGET:with-targets}:{env:FROM_DOCKER_TAG:dev}
docker-incremental: SYSTEM=none
#
docker-nobootstrap: BOOTSTRAP=./bootstrap -D
###
Expand Down

0 comments on commit a9eaae5

Please sign in to comment.