Re: Fails to download isl

Bob Dunlop <[email protected]> Sat, 12 Feb 2022 15:41:38 +0000
Newsgroups gmane.comp.gcc.cross-compiling
Message-ID <[email protected]>
Hi,

Try downloading from https://libisl.sourceforge.io/isl-0.20.tar.xz
instead.  isl.gforge.inria.fr seems to be down at present.

Also probably should note that isl-0.24 is available since May of
last year.


On Sat, Feb 12 at 04:19, guy (Desbief.com) wrote:
...
> The result of build
> 
> if you have easy corrections I will do them
> 
> Best regards
> [ALL  ]    Resolving isl.gforge.inria.fr (isl.gforge.inria.fr)... 128.93.193.15
> [ALL  ]    Connecting to isl.gforge.inria.fr (isl.gforge.inria.fr)|128.93.193.15|:80... failed: Connection timed out.
> [ALL  ]    Retrying.


-- 
        Bob Dunlop
--
For unsubscribe information see http://sourceware.org/lists.html#faq