minix/external/lgpl3/gmp/fetch.sh
Lionel Sambuc 025179a2b7 Update download urls in fetch.sh
Change-Id: Ib3d6c2771e8bc6d03efa85af52f2ed6288ebc7dd
2014-08-07 14:27:32 +02:00

31 lines
620 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/pkgsrc/distfiles/minix/3.3.0/gmp-5.1.2.tar.bz2"
BACKUP_URL="ftp://ftp.gmplib.org/pub/gmp-5.1.2/gmp-5.1.2.tar.bz2"
FETCH=ftp
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.1.2.tar.bz2 ]; then
$FETCH $URL
if [ $? -ne 0 ]; then
$FETCH $BACKUP_URL
fi
fi
tar -oxjf gmp-5.1.2.tar.bz2
mv gmp-5.1.2 dist && \
cd dist && \
cat ../patches/* |patch -p1
fi