minix/external/lgpl2/mpc/fetch.sh
Thomas Veerman 3f40eb3511 fetch.sh: serve tarballs ourselves
And use the original sources as backup.
2012-06-25 10:46:31 +00:00

29 lines
552 B
Bash
Executable file

#!/bin/sh
# Make sure we're in our directory (i.e., where this shell script is)
echo $0
cd `dirname $0`
# 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 ]; then
$FETCH $URL
if [ $? -ne 0 ]; then
$FETCH $BACKUP_URL
fi
fi
tar -xf mpc-0.9.tar.gz
mv mpc-0.9 dist
fi