1.1 --- a/scripts/build/companion_libs/120-ppl.sh Mon Jan 28 21:53:18 2013 +0100
1.2 +++ b/scripts/build/companion_libs/120-ppl.sh Fri Feb 15 18:54:27 2013 +0100
1.3 @@ -12,10 +12,8 @@
1.4
1.5 # Download PPL
1.6 do_ppl_get() {
1.7 - CT_GetFile "ppl-${CT_PPL_VERSION}" \
1.8 - http://www.cs.unipr.it/ppl/Download/ftp/releases/${CT_PPL_VERSION} \
1.9 - ftp://ftp.cs.unipr.it/pub/ppl/releases/${CT_PPL_VERSION} \
1.10 - ftp://gcc.gnu.org/pub/gcc/infrastructure
1.11 + CT_GetFile "ppl-${CT_PPL_VERSION}" \
1.12 + http://bugseng.com/products/ppl/download/ftp/releases/${CT_PPL_VERSION}
1.13 }
1.14
1.15 # Extract PPL