Committed as r16-3063-gb399a0084bc962 fix the file name in
download_prerequisites fixed.
And ...
Richard Biener wrote:
On Wed, 6 Aug 2025, Tobias Burnus wrote:
OK for mainline? (Requires a prior update of 'infrastructure').
-gmp='gmp-6.2.1.tar.bz2'
…
+gmp='gmp-6.3.0.tar.xz'
…
+++ b/contrib/prerequisites.md5
…
+c1cd6ef33085e9cb818b9b08371f9000 gmp-6.3.0.tar.bz2
above you have gmp-6.3.0.tar.xz but the md5sums have gmp-6.3.0.tar.bz2
I have placed the respective .bz2 files in infrastructure.
Thanks for adding the files to intrastructure! Using the .bz2 files was
also as intended by me (better compatibility than .xz), even though
the GMP webpage only links prominently to the .xz file, which is
why I got it first.
Seems as if I should either have deleted the .xz one or look not only
at gmp-<version> but also at the ending when copying the file name
from the 'ls' output …
* * *
I confirmed that both the default (sha512) and using --md5sum succeeds
downloading + verifying and I used it successfully rebuild GCC
mainline on x86_64 RHEL 8 w/ gcc 8.5.0/binutils 2.40.
Thanks!
Tobias
