diff --git a/Dockerfile b/Dockerfile index 5d49714..4ad7dfb 100644 --- a/Dockerfile +++ b/Dockerfile @@ -60,12 +60,19 @@ RUN apt-get update -y -q && apt-get upgrade -y -q && apt-get upgrade -y -q && \ curl "https://s3.amazonaws.com/compiler-explorer/opt/gcc-12.3.0.tar.xz" -o gcc12.tar.xz && \ curl "https://s3.amazonaws.com/compiler-explorer/opt/gcc-13.2.0.tar.xz" -o gcc13.tar.xz && \ curl "https://s3.amazonaws.com/compiler-explorer/opt/gcc-14.2.0.tar.xz" -o gcc14.tar.xz && \ + curl "https://s3.amazonaws.com/compiler-explorer/opt/gcc-trunk-20240907.tar.xz" -o gcc-trunk.tar.xz && \ tar Jxf gcc11.tar.xz && \ tar Jxf gcc12.tar.xz && \ tar Jxf gcc13.tar.xz && \ tar Jxf gcc14.tar.xz && \ + tar Jxf gcc-trunk.tar.xz && \ + mv gcc-trunk-20240907/ gcc-trunk && \ rm gcc*.tar.xz +## Beware of the "trunk" download. It is useful when a cross compiler really +## needs a very recent base compiler (e.g. GNAT). The hardcoded filename for +## trunk will only work for some time as we are expiring them after a few days. + ## Need for host GCC version to be ~= latest cross GCC being built. ## This is at least needed for building cross-GNAT (Ada) as the GNAT runtime has no ## requirement on a minimal supported version (e.g. need GCC 12 to build any GNAT runtime).