2012-06-25 11:15:27 +02:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
# Make sure we're in our directory (i.e., where this shell script is)
|
|
|
|
echo $0
|
|
|
|
cd `dirname $0`
|
2012-06-25 12:46:31 +02:00
|
|
|
|
|
|
|
# Configure fetch method
|
2013-12-06 12:04:52 +01:00
|
|
|
URL="http://www.minix3.org/distfiles-minix/mpc-1.0.1.tar.gz"
|
|
|
|
BACKUP_URL="http://www.multiprecision.org/mpc/download/mpc-1.0.1.tar.gz"
|
2014-01-23 11:38:26 +01:00
|
|
|
FETCH=ftp
|
2012-06-25 12:46:31 +02:00
|
|
|
which curl >/dev/null
|
|
|
|
if [ $? -eq 0 ]; then
|
|
|
|
FETCH="curl -O -f"
|
|
|
|
fi
|
2012-06-25 11:15:27 +02:00
|
|
|
|
|
|
|
# Fetch sources if not available
|
|
|
|
if [ ! -d dist ];
|
|
|
|
then
|
2013-12-06 12:04:52 +01:00
|
|
|
if [ ! -f mpc-1.0.1.tar.gz ]; then
|
2012-06-25 12:46:31 +02:00
|
|
|
$FETCH $URL
|
|
|
|
if [ $? -ne 0 ]; then
|
|
|
|
$FETCH $BACKUP_URL
|
|
|
|
fi
|
|
|
|
fi
|
2012-06-25 11:15:27 +02:00
|
|
|
|
2013-12-06 12:04:52 +01:00
|
|
|
tar -oxzf mpc-1.0.1.tar.gz
|
|
|
|
mv mpc-1.0.1 dist
|
2012-06-25 11:15:27 +02:00
|
|
|
fi
|
|
|
|
|