Skip to content

SMALLFIX: Use reliable mirrors for Bison and TCL in CentOS 7 Dockerfile#460

Open
akashlevy wants to merge 2 commits into
parallaxsw:masterfrom
akashlevy:pr/docker-mirrors
Open

SMALLFIX: Use reliable mirrors for Bison and TCL in CentOS 7 Dockerfile#460
akashlevy wants to merge 2 commits into
parallaxsw:masterfrom
akashlevy:pr/docker-mirrors

Conversation

@akashlevy

@akashlevy akashlevy commented Jul 11, 2026

Copy link
Copy Markdown
Contributor

Summary

  • Switch CentOS 7 Dockerfile downloads for Bison and TCL off flaky ftp.gnu.org / SourceForge prdownloads URLs.
  • Use https://ftpmirror.gnu.org (GNU redirector) for Bison and the SourceForge project download URL for TCL.

Motivation

These mirrors frequently fail or hang during docker build, breaking CentOS 7 based workflows.

Test plan

  • wget of both URLs succeeds and yields valid gzip tarballs (bison-3.8.2, tcl8.6.16)
  • docker build -f Dockerfile.centos7 . succeeds downloading Bison and TCL

ftp.gnu.org and SourceForge prdownloads are flaky in CI; switch to
dotsrc and OSUOSL mirrors.

Co-authored-by: Cursor <cursoragent@cursor.com>
@akashlevy akashlevy marked this pull request as ready for review July 11, 2026 20:31
@akashlevy akashlevy changed the title Use reliable mirrors for Bison and TCL in CentOS 7 Dockerfile SMALLFIX: Use reliable mirrors for Bison and TCL in CentOS 7 Dockerfile Jul 12, 2026
Comment thread Dockerfile.centos7 Outdated
Comment thread Dockerfile.centos7 Outdated
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>
@akashlevy

Copy link
Copy Markdown
Contributor Author

Updated to the suggested URLs after verifying with wget:

  • Bison: https://ftpmirror.gnu.org/gnu/bison/bison-3.8.2.tar.gz (302 → mirror, 5643795 bytes, valid bison-3.8.2/ tarball)
  • TCL: https://sourceforge.net/projects/tcl/files/Tcl/8.6.16/tcl8.6.16-src.tar.gz/download (redirect chain → 11678979 bytes, valid tcl8.6.16/ tarball; saved with wget -O so the filename stays tcl8.6.16-src.tar.gz)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants