[gccsdk] Build problems for crosscompiler

David Pitt pittdj at pittdj.co.uk
Thu Sep 3 23:08:33 PDT 2020

jjvdgeer at vfemail.net, on 3 Sep, wrote:

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


> 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

I found it at :-


If one has an existing working autobuilder it can be retrieved from that. If
the package is put in gcc4/srcdir.orig then the autobuilder does not try to
fetch it.
David Pitt

More information about the gcc mailing list