fetch.sh: serve tarballs ourselves

And use the original sources as backup.

external/gpl3/binutils/fetch.sh

@@ -4,12 +4,23 @@
 echo $0
 cd `dirname $0`
 
+# Configure fetch method
+URL="http://www.minix3.org/distfiles-minix/binutils-2.17a.tar.bz2"
+BACKUP_URL="http://ftp.gnu.org/gnu/binutils/binutils-2.17a.tar.bz2"
+FETCH=wget
+which curl >/dev/null
+if [ $? -eq 0 ]; then
+	FETCH="curl -O -f"
+fi
+
 # Fetch sources if not available
 if [ ! -d dist ];
 then
-	if [ ! -f binutils-2.17a.tar.bz2 ];
+	if [ ! -f binutils-2.17a.tar.bz2 ]; then
-	then
+		$FETCH $URL
-		wget  http://ftp.gnu.org/gnu/binutils/binutils-2.17a.tar.bz2
+		if [ $? -ne 0 ]; then
+			$FETCH $BACKUP_URL
+		fi
 	fi
 
 	tar -xf binutils-2.17a.tar.bz2 && \

external/gpl3/gcc/fetch.sh

@@ -4,12 +4,24 @@
 echo $0
 cd `dirname $0`
 
+# Configure fetch method
+URL="http://www.minix3.org/distfiles-minix/gcc-4.4.3.tar.bz2"
+BACKUP_URL="ftp://ftp.gwdg.de/pub/misc/gcc/releases/gcc-4.4.3/gcc-4.4.3.tar.bz2"
+FETCH=wget
+which curl >/dev/null
+if [ $? -eq 0 ]; then
+	FETCH="curl -O -f"
+fi
+
 # Fetch sources if not available
 if [ ! -d dist ];
 then
 	if [ ! -f gcc-4.4.3.tar.bz2 ];
 	then
-		wget  ftp://ftp.gwdg.de/pub/misc/gcc/releases/gcc-4.4.3/gcc-4.4.3.tar.bz2
+		$FETCH $URL
+		if [ $? -ne 0 ]; then
+			$FETCH $BACKUP_URL
+		fi
 	fi
 
 	tar -xf gcc-4.4.3.tar.bz2 && \

external/lgpl2/mpc/fetch.sh

@@ -3,23 +3,26 @@
 # Make sure we're in our directory (i.e., where this shell script is)
 echo $0
 cd `dirname $0`
-url="http://www.multiprecision.org/mpc/download/mpc-0.9.tar.gz"
+
+# Configure fetch method
+URL="http://www.minix3.org/distfiles-minix/mpc-0.9.tar.gz"
+BACKUP_URL="http://www.multiprecision.org/mpc/download/mpc-0.9.tar.gz"
+FETCH=wget
+which curl >/dev/null
+if [ $? -eq 0 ]; then
+	FETCH="curl -O -f"
+fi
 
 # Fetch sources if not available
 if [ ! -d dist ];
 then
-        if [ ! -f mpc-0.9.tar.gz ];
+        if [ ! -f mpc-0.9.tar.gz ]; then
-        then
+		$FETCH $URL
-                which curl >/dev/null
+		if [ $? -ne 0 ]; then
-                if [ $? -eq 0 ]; then
+			$FETCH $BACKUP_URL
-                        curl -O $url
-                else
-                        # Default to wget
-                        wget $url
 		fi
 	fi
 
-
 	tar -xf mpc-0.9.tar.gz
 	mv mpc-0.9 dist
 fi

external/lgpl3/gmp/fetch.sh

@@ -3,23 +3,26 @@
 # Make sure we're in our directory (i.e., where this shell script is)
 echo $0
 cd `dirname $0`
-url="ftp://ftp.gmplib.org/pub/gmp-5.0.2/gmp-5.0.2.tar.bz2"
+
+# Configure fetch method
+URL="http://www.minix3.org/distfiles-minix/gmp-5.0.2.tar.bz2"
+BACKUP_URL="ftp://ftp.gmplib.org/pub/gmp-5.0.2/gmp-5.0.2.tar.bz2"
+FETCH=wget
+which curl >/dev/null
+if [ $? -eq 0 ]; then
+	FETCH="curl -O -f"
+fi
 
 # Fetch sources if not available
 if [ ! -d dist ];
 then
-        if [ ! -f gmp-5.0.2.tar.bz2 ];
+        if [ ! -f gmp-5.0.2.tar.bz2 ]; then
-        then
+		$FETCH $URL
-                which curl >/dev/null
+		if [ $? -ne 0 ]; then
-                if [ $? -eq 0 ]; then
+			$FETCH $BACKUP_URL
-                        curl -O $url
-                else
-                        # Default to wget
-                        wget $url
 		fi
 	fi
 
-
 	tar -xf gmp-5.0.2.tar.bz2
 	mv gmp-5.0.2 dist
 fi

external/lgpl3/mpfr/fetch.sh

@@ -3,23 +3,26 @@
 # Make sure we're in our directory (i.e., where this shell script is)
 echo $0
 cd `dirname $0`
-url="http://www.mpfr.org/mpfr-current/mpfr-3.1.0.tar.bz2"
+
+# Configure fetch method
+URL="http://www.minix3.org/distfiles-minix/mpfr-3.1.0.tar.bz2"
+BACKUP_URL="http://www.mpfr.org/mpfr-current/mpfr-3.1.0.tar.bz2"
+FETCH=wget
+which curl >/dev/null
+if [ $? -eq 0 ]; then
+	FETCH="curl -O -f"
+fi
 
 # Fetch sources if not available
 if [ ! -d dist ];
 then
-        if [ ! -f mpfr-3.1.0.tar.bz2 ];
+        if [ ! -f mpfr-3.1.0.tar.bz2 ]; then
-        then
+		$FETCH $URL
-                which curl >/dev/null
+		if [ $? -ne 0 ]; then
-                if [ $? -eq 0 ]; then
+			$FETCH $BACKUP_URL
-                        curl -O $url
-                else
-                        # Default to wget
-                        wget $url
 		fi
 	fi
 
-
 	tar -xf mpfr-3.1.0.tar.bz2
 	mv mpfr-3.1.0 dist
 fi

gnu/dist/fetch.sh

@@ -4,12 +4,23 @@
 echo $0
 cd `dirname $0`
 
+# Configure fetch method
+URL="http://www.minix3.org/distfiles-minix/make-3.80.tar.bz2"
+BACKUP_URL="ftp://ftp.gnu.org/gnu/make/make-3.80.tar.bz2"
+FETCH=wget
+which curl >/dev/null
+if [ $? -eq 0 ]; then
+	FETCH="curl -O -f"
+fi
+
 # Fetch sources if not available
 if [ ! -d gmake ];
 then
-	if [ ! -f make-3.80.tar.bz2 ];
+	if [ ! -f make-3.80.tar.bz2 ]; then
-	then
+		$FETCH $URL
-		wget  ftp://ftp.gnu.org/gnu/make/make-3.80.tar.bz2
+		if [ $? -ne 0 ]; then
+			$FETCH $BACKUP_URL
+		fi
 	fi
 
 	tar -xf make-3.80.tar.bz2 && \