From 6d30081013396a7fadf428fb15b07ecbcab280e7 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Thu, 16 Jul 2026 16:42:52 -0700 Subject: [PATCH] SMALLFIX: Use reliable mirrors for Bison and TCL in CentOS 7 Dockerfile (#460) * Use more reliable mirrors for Bison and TCL in CentOS 7 Dockerfile. ftp.gnu.org and SourceForge prdownloads are flaky in CI; switch to dotsrc and OSUOSL mirrors. Co-authored-by: Cursor * Use GNU ftpmirror and SourceForge project URLs. Switch CentOS 7 Dockerfile downloads to the reviewer-suggested ftpmirror.gnu.org redirector for Bison and the SourceForge project download URL for TCL. Co-authored-by: Cursor --------- Co-authored-by: Cursor --- Dockerfile.centos7 | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Dockerfile.centos7 b/Dockerfile.centos7 index 458d0dbc..61ffacaa 100644 --- a/Dockerfile.centos7 +++ b/Dockerfile.centos7 @@ -17,7 +17,7 @@ RUN sed -i s/mirror.centos.org/vault.centos.org/g /etc/yum.repos.d/*.repo \ RUN ln -sf /usr/bin/cmake3 /usr/bin/cmake # Download Bison -RUN wget https://ftp.gnu.org/gnu/bison/bison-3.8.2.tar.gz && \ +RUN wget https://ftpmirror.gnu.org/gnu/bison/bison-3.8.2.tar.gz && \ tar -xvf bison-3.8.2.tar.gz && \ rm bison-3.8.2.tar.gz @@ -42,7 +42,8 @@ RUN source /opt/rh/devtoolset-11/enable && \ make install # Download TCL -RUN wget http://prdownloads.sourceforge.net/tcl/tcl8.6.16-src.tar.gz && \ +RUN wget https://sourceforge.net/projects/tcl/files/Tcl/8.6.16/tcl8.6.16-src.tar.gz/download \ + -O tcl8.6.16-src.tar.gz && \ tar -xvf tcl8.6.16-src.tar.gz && \ rm tcl8.6.16-src.tar.gz