diff --git a/base-sha.Dockerfile b/base-sha.Dockerfile index 91936ac..b53bc69 100644 --- a/base-sha.Dockerfile +++ b/base-sha.Dockerfile @@ -3,7 +3,7 @@ # separating this into a separate file so we can get better caching # there is a lot of redundancy between this and base.Dockerfile, but I don't think it's worth it to try to abstract it out -FROM debian:bullseye as scheme-builder +FROM debian:trixie as scheme-builder WORKDIR /root @@ -22,7 +22,7 @@ RUN which scheme # this makes it a bit easier for us to move the csv folder to other build steps, since it is necessary for scheme to run RUN mkdir scheme-lib && cp -r /usr/lib/csv* /root/scheme-lib -FROM debian:bullseye as idris-builder +FROM debian:trixie as idris-builder RUN apt-get update && \ apt-get install -y git make gcc libgmp-dev curl diff --git a/base.Dockerfile b/base.Dockerfile index aa3a2c8..7aae224 100644 --- a/base.Dockerfile +++ b/base.Dockerfile @@ -1,7 +1,7 @@ # Expects IDRIS_VERSION to NOT be `latest` # uBut a tag of the form `v0.7.0` -FROM debian:bullseye as scheme-builder +FROM debian:trixie as scheme-builder WORKDIR /root @@ -20,7 +20,7 @@ RUN which scheme # this makes it a bit easier for us to move the csv folder to other build steps, since it is necessary for scheme to run RUN mkdir scheme-lib && cp -r /usr/lib/csv* /root/scheme-lib -FROM debian:bullseye as idris-builder +FROM debian:trixie as idris-builder RUN apt-get update && \ apt-get install -y git make gcc libgmp-dev curl diff --git a/debian.Dockerfile b/debian.Dockerfile index cc58f84..e7cc752 100644 --- a/debian.Dockerfile +++ b/debian.Dockerfile @@ -3,7 +3,7 @@ ARG BASE_IMG=ghcr.io/joshuanianji/idris-2-docker/base:${IDRIS_VERSION} FROM $BASE_IMG as base -FROM debian:bullseye +FROM debian:trixie # add idris2 and scheme from builder COPY --from=base /root/.idris2 /root/.idris2 diff --git a/devcontainer-sha.Dockerfile b/devcontainer-sha.Dockerfile index 8e6d9ae..114d6e7 100644 --- a/devcontainer-sha.Dockerfile +++ b/devcontainer-sha.Dockerfile @@ -19,7 +19,7 @@ RUN make install PREFIX=/usr/local/lib/idris2 # ===== # LSP Builder -FROM debian:bullseye as lsp-builder +FROM debian:trixie as lsp-builder RUN apt-get update && \ apt-get install -y git make gcc libgmp-dev curl diff --git a/devcontainer.Dockerfile b/devcontainer.Dockerfile index 79a5188..953148d 100644 --- a/devcontainer.Dockerfile +++ b/devcontainer.Dockerfile @@ -17,7 +17,7 @@ RUN make install PREFIX=/usr/local/lib/idris2 # ===== # LSP Builder -FROM debian:bullseye as lsp-builder +FROM debian:trixie as lsp-builder RUN apt-get update && \ apt-get install -y git make gcc libgmp-dev curl