diff options
author | John-Mark Bell <jmb@netsurf-browser.org> | 2022-05-28 18:15:43 +0100 |
---|---|---|
committer | John-Mark Bell <jmb@netsurf-browser.org> | 2022-05-28 18:16:38 +0100 |
commit | 72cb8bef5540cc97e369c0e5754af35add9e776d (patch) | |
tree | fb3200b97437c134eac7820deba810fde651a3ee /arm-unknown-riscos/recipes/patches/gcc4/ppl-download.p | |
parent | 0498d005a489508a2dbd181d4cf145b2224a61de (diff) | |
download | toolchains-72cb8bef5540cc97e369c0e5754af35add9e776d.tar.gz toolchains-72cb8bef5540cc97e369c0e5754af35add9e776d.tar.bz2 |
arm-unknown-riscos: update to 4.7.4r6
Diffstat (limited to 'arm-unknown-riscos/recipes/patches/gcc4/ppl-download.p')
-rw-r--r-- | arm-unknown-riscos/recipes/patches/gcc4/ppl-download.p | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/arm-unknown-riscos/recipes/patches/gcc4/ppl-download.p b/arm-unknown-riscos/recipes/patches/gcc4/ppl-download.p index 7eb77c3..128e9eb 100644 --- a/arm-unknown-riscos/recipes/patches/gcc4/ppl-download.p +++ b/arm-unknown-riscos/recipes/patches/gcc4/ppl-download.p @@ -19,9 +19,9 @@ -$(SRCORIGDIR)/ppl-$(PPL_VERSION).tar.gz: +$(SRCORIGDIR)/ppl-$(PPL_VERSION).tar.xz: -mkdir -p $(SRCORIGDIR) -- cd $(SRCORIGDIR) && wget -c http://www.cs.unipr.it/ppl/download/ftp/releases/$(PPL_VERSION)/ppl-$(PPL_VERSION).tar.gz +- cd $(SRCORIGDIR) && wget -c https://www.bugseng.com/external/ppl/download/ftp/releases/$(PPL_VERSION)/ppl-$(PPL_VERSION).tar.gz - touch $@ -+ wget -O $@ -c http://ci.netsurf-browser.org/toolchain/arm-unknown-riscos/ppl-$(PPL_VERSION).tar.xz ++ wget -O $@ -c https://ci.netsurf-browser.org/toolchain/arm-unknown-riscos/ppl-$(PPL_VERSION).tar.xz # Download CLooG source: $(SRCORIGDIR)/cloog-ppl-$(CLOOG_VERSION).tar.gz: |