diff --git a/libc++/docker/docker-libc++-10.5.0/Dockerfile b/libc++/docker/docker-libc++-10.5.0/Dockerfile index f278f9aa1..3166d4f3a 100644 --- a/libc++/docker/docker-libc++-10.5.0/Dockerfile +++ b/libc++/docker/docker-libc++-10.5.0/Dockerfile @@ -21,7 +21,7 @@ RUN apt install -y libmpc-dev file # Clone the libtock-c source so we can use the build scripts RUN git clone https://github.com/tock/libtock-c -b make-precompiled -RUN cd libtock-c && git fetch && git checkout 48867de2b05468344e4336b07630e4d0d9f1cae9 +RUN cd libtock-c && git fetch && git checkout 6dc8907938e7daa307650ba6577a59c25214ef3f # Actually build the toolchain RUN cd libtock-c/libc++ && make GCC_VERSION=10.5.0 NEWLIB_VERSION=4.2.0.20211231 diff --git a/libc++/docker/docker-libc++-12.3.0/Dockerfile b/libc++/docker/docker-libc++-12.3.0/Dockerfile index 8cf61f087..0098c35a4 100644 --- a/libc++/docker/docker-libc++-12.3.0/Dockerfile +++ b/libc++/docker/docker-libc++-12.3.0/Dockerfile @@ -21,7 +21,7 @@ RUN apt install -y libmpc-dev file # Clone the libtock-c source so we can use the build scripts RUN git clone https://github.com/tock/libtock-c -b make-precompiled -RUN cd libtock-c && git fetch && git checkout 48867de2b05468344e4336b07630e4d0d9f1cae9 +RUN cd libtock-c && git fetch && git checkout 6dc8907938e7daa307650ba6577a59c25214ef3f # Actually build the toolchain RUN cd libtock-c/libc++ && make GCC_VERSION=12.3.0 NEWLIB_VERSION=4.3.0.20230120 diff --git a/libc++/docker/docker-libc++-13.2.0/Dockerfile b/libc++/docker/docker-libc++-13.2.0/Dockerfile index bc6d52c03..b99f89e7b 100644 --- a/libc++/docker/docker-libc++-13.2.0/Dockerfile +++ b/libc++/docker/docker-libc++-13.2.0/Dockerfile @@ -21,7 +21,7 @@ RUN apt install -y libmpc-dev file # Clone the libtock-c source so we can use the build scripts RUN git clone https://github.com/tock/libtock-c -b make-precompiled -RUN cd libtock-c && git fetch && git checkout 48867de2b05468344e4336b07630e4d0d9f1cae9 +RUN cd libtock-c && git fetch && git checkout 6dc8907938e7daa307650ba6577a59c25214ef3f # Actually build the toolchain RUN cd libtock-c/libc++ && make GCC_VERSION=13.2.0 NEWLIB_VERSION=4.3.0.20230120 diff --git a/newlib/docker/docker-newlib-4.2.0.20211231/Dockerfile b/newlib/docker/docker-newlib-4.2.0.20211231/Dockerfile index fe8e728f3..dd8898839 100644 --- a/newlib/docker/docker-newlib-4.2.0.20211231/Dockerfile +++ b/newlib/docker/docker-newlib-4.2.0.20211231/Dockerfile @@ -22,7 +22,7 @@ RUN apt install -y git build-essential wget rsync zip # Clone the libtock-c source so we can use the build scripts RUN git clone https://github.com/tock/libtock-c --depth 1 -b make-precompiled -RUN cd libtock-c && git fetch && git checkout ba822daf75f2aa650728cd25d232e90c904a9002 +RUN cd libtock-c && git fetch && git checkout 6dc8907938e7daa307650ba6577a59c25214ef3f # Actually build the toolchain RUN cd libtock-c/newlib && make NEWLIB_VERSION=4.2.0.20211231 diff --git a/newlib/docker/docker-newlib-4.3.0.20230120/Dockerfile b/newlib/docker/docker-newlib-4.3.0.20230120/Dockerfile index 558caec88..70ecc078a 100644 --- a/newlib/docker/docker-newlib-4.3.0.20230120/Dockerfile +++ b/newlib/docker/docker-newlib-4.3.0.20230120/Dockerfile @@ -22,7 +22,7 @@ RUN apt install -y git build-essential wget rsync texinfo zip # Clone the libtock-c source so we can use the build scripts RUN git clone https://github.com/tock/libtock-c -b make-precompiled -RUN cd libtock-c && git fetch && git checkout ba822daf75f2aa650728cd25d232e90c904a9002 +RUN cd libtock-c && git fetch && git checkout 6dc8907938e7daa307650ba6577a59c25214ef3f # Actually build the toolchain RUN cd libtock-c/newlib && make NEWLIB_VERSION=4.3.0.20230120