jjvdgeer@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:
[snip]
> 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 :-
https://www.bugseng.com/products/ppl/download/ftp/releases/1.2/
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
_______________________________________________
GCCSDK mailing list gcc@gccsdk.riscos.info
Bugzilla: http://www.riscos.info/bugzilla/index.cgi
List Info: http://www.riscos.info/mailman/listinfo/gcc
Main Page: http://www.riscos.info/index.php/GCCSDK
No comments:
Post a Comment