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 <cursoragent@cursor.com>

* 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 <cursoragent@cursor.com>

---------

Co-authored-by: Cursor <cursoragent@cursor.com>
This commit is contained in:
Akash Levy 2026-07-16 16:42:52 -07:00 committed by GitHub
parent 29b6a1039b
commit 6d30081013
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 3 additions and 2 deletions

View File

@ -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 RUN ln -sf /usr/bin/cmake3 /usr/bin/cmake
# Download Bison # 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 && \ tar -xvf bison-3.8.2.tar.gz && \
rm 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 make install
# Download TCL # 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 && \ tar -xvf tcl8.6.16-src.tar.gz && \
rm tcl8.6.16-src.tar.gz rm tcl8.6.16-src.tar.gz