[gccsdk] Build problems for crosscompiler

I'm trying to build gccsdk but it fails because it doesn't find the ppl-1.2.tar.gz package:

-------------------------------
make[2]: Leaving directory '/home/jjvdgeer/gccsdk_new/gcc4/builddir/cross-mpc'

touch buildstepsdir/cross-mpc-built

mkdir -p /home/jjvdgeer/gccsdk_new/gcc4/srcdir.orig

cd /home/jjvdgeer/gccsdk_new/gcc4/srcdir.orig && wget -c ftp://ftp.cs.unipr.it/pub/ppl/releases/1.2/ppl-1.2.tar.gz

--2020-09-03 23:41:24--  ftp://ftp.cs.unipr.it/pub/ppl/releases/1.2/ppl-1.2.tar.gz

           => ‘ppl-1.2.tar.gz’

Resolving ftp.cs.unipr.it (ftp.cs.unipr.it)... 160.78.167.140

Connecting to ftp.cs.unipr.it (ftp.cs.unipr.it)|160.78.167.140|:21... connected.

Logging in as anonymous ... 

Login incorrect.

make[1]: *** [Makefile:723: /home/jjvdgeer/gccsdk_new/gcc4/srcdir.orig/ppl-1.2.tar.gz] Error 6

make[1]: Leaving directory '/home/jjvdgeer/gccsdk_new/gcc4'

make: *** [Makefile:256: getenv] Error 2

 

Looks like the build failed.  You might want to check out the README for what to do now.

 

If 'build-cross-output.txt' exists, this will contain a record of the failure.  You can send the end of it to the GCCSDK mailing list for help.

Once you fix the problem, you can simply run this script again.  Note doing this will overwrite 'build-cross-output.txt' log file.

-------------------------------

It tries to download it from ftp://ftp.cs.unipr.it/pub/ppl/releases/1.2/ppl-1.2.tar.gz but that link seems to be dead. I think I did find a place to download it at the bottom of this page:
http://www.prismmodelchecker.org/other-downloads.php

Cheers,
Jan-Jaap

-------------------------------------------------
This free account was provided by VFEmail.net - report spam to abuse@vfemail.net
 
ONLY AT VFEmail! - Use our Metadata Mitigator™ to keep your email out of the NSA's hands!
$24.95 ONETIME Lifetime accounts with Privacy Features!
No Bandwidth Quotas!   15GB disk space!
Commercial and Bulk Mail Options!