Improve downloads for 3rd party sources.

* Set a max time of 2 minutes on curl downloads. In case of a broken mirror, there is no need to wait more than that.
* Let sourceforge decide which mirror to use for recoil, so if one goes down, we don't have to change manually.
This commit is contained in:
Adrien Destugues 2018-04-20 09:38:37 +00:00
parent 758bc0833c
commit 89a05e6fbb

5
3rdparty/Makefile vendored
View File

@ -31,15 +31,14 @@ LUAURL=https://www.lua.org/ftp/$(LUAARCH)
RECOILVER=4.2.0
RECOIL=recoil-$(RECOILVER)
RECOILARCH=$(RECOIL).tar.gz
#RECOILURL=https://downloads.sourceforge.net/project/recoil/recoil/$(RECOILVER)/$(RECOILARCH)
RECOILURL=https://excellmedia.dl.sourceforge.net/project/recoil/recoil/$(RECOILVER)/$(RECOILARCH)
RECOILURL=https://sourceforge.net/projects/recoil/files/recoil/$(RECOILVER)/$(RECOILARCH)
PREFIX = $(PWD)/usr
MKDIR = mkdir -p
CP = cp -v
TAR = $(shell which tar)
GETURL = $(shell WGET=`which wget` ; if [ "$?" = "0" ] && [ -x "$WGET" ] ; then echo "$WGET" ; else echo "curl -O -L" ; fi )
GETURL = $(shell WGET=`which wget` ; if [ "$?" = "0" ] && [ -x "$WGET" ] ; then echo "$WGET" ; else echo "curl -O -L --max-time 120" ; fi )
BUILD_CC := $(CC)