Sourceforge returns 404 for isl-0.24, use gcc mirror instead.

alire-project / GNAT-FSF-builds

Builds of the GNAT Ada compiler from FSF GCC releases

MIT License

32 stars 9 forks source link

Sourceforge returns 404 for isl-0.24, use gcc mirror instead. #52

Closed JeremyGrosser closed 8 months ago

Fabien-Chouteau commented 8 months ago

Hi @JeremyGrosser, looks like this was a transient issue.

That being said we are using the latest isl, gmp, mpfr, mpc, but GCC release is actually recommending older versions (see contrib/download_prerequisites in gcc sources).

So it might be better to only pick the recommended versions and download them from https://gcc.gnu.org/pub/gcc/infrastructure/.

JeremyGrosser commented 8 months ago

This diff doesn’t change the version of isl, it just switches to the gcc mirror. I can open a separate PR if you want to change versions.

JeremyGrosser commented 8 months ago

Looks like you’re already doing that in #55. I’ll close this one then.