external/lgpl3/mpfr/fetch.sh

   1 #!/bin/sh
   2
   3 # Make sure we're in our directory (i.e., where this shell script is)
   4 echo $0
   5 cd `dirname $0`
   6
   7 # Configure fetch method
   8 URL="http://www.minix3.org/pkgsrc/distfiles/minix/3.3.0/mpfr-3.1.2.tar.bz2"
   9 BACKUP_URL="http://www.mpfr.org/mpfr-3.1.2/mpfr-3.1.2.tar.bz2"
  10 FETCH=ftp
  11 which curl >/dev/null
  12 if [ $? -eq 0 ]; then
  13         FETCH="curl -O -f"
  14 fi
  15
  16 # Fetch sources if not available
  17 if [ ! -d dist ];
  18 then
  19         if [ ! -f mpfr-3.1.2.tar.bz2 ]; then
  20                 $FETCH $URL
  21                 if [ $? -ne 0 ]; then
  22                         $FETCH $BACKUP_URL
  23                 fi
  24         fi
  25
  26         tar -oxjf mpfr-3.1.2.tar.bz2
  27         mv mpfr-3.1.2 dist && \
  28         cd dist && \
  29         cat ../patches/* |patch -p1
  30 fi
  31