#!/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/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 ]; then $FETCH $URL if [ $? -ne 0 ]; then $FETCH $BACKUP_URL fi fi bsdtar -oxjf gmp-5.0.2.tar.bz2 mv gmp-5.0.2 dist && \ cd dist && \ cat ../patches/* |patch -p1 fi