tox.ini, build/bin/write-dockerfile.sh: Add raspbian-buster

sagemath · Jul 3, 2020 · 1b4c497 · 1b4c497
1 parent 53acc59
commit 1b4c497
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/build/bin/write-dockerfile.sh b/build/bin/write-dockerfile.sh
@@ -43,6 +43,11 @@ case $SYSTEM in
 ARG BASE_IMAGE=ubuntu:latest
 FROM \${BASE_IMAGE} as with-system-packages
 EOF
+        if [ -n "$DIST_UPGRADE" ]; then
+            cat <<EOF
+RUN sed -i.bak $DIST_UPGRADE /etc/apt/sources.list && apt-get update && DEBIAN_FRONTEND=noninteractive apt-get -y dist-upgrade
+EOF
+        fi
         EXISTS="2>/dev/null >/dev/null apt-cache show"
         UPDATE="apt-get update &&"
         INSTALL="DEBIAN_FRONTEND=noninteractive apt-get install -qqq --no-install-recommends --yes"

diff --git a/tox.ini b/tox.ini
@@ -241,8 +241,13 @@ setenv =
     #
     raspbian:         SYSTEM=debian
     raspbian:         ARCH_IMAGE_PREFIX=
+    raspbian:                                  IGNORE_MISSING_SYSTEM_PACKAGES=yes
     raspbian-jessie:  BASE_IMAGE=raspbian/jessie
     raspbian-stretch: BASE_IMAGE=raspbian/stretch
+    # As of 2020-06, there is no raspbian/buster image, so we dist-upgrade from stretch.
+    # https://www.raspberrypi.org/blog/buster-the-new-version-of-raspbian/
+    raspbian-buster:  BASE_IMAGE=raspbian/stretch
+    raspbian-buster:      DIST_UPGRADE=s/stretch/buster/g
     #
     # https://hub.docker.com/u/linuxmintd
     #