win32/get-src

   1 #!/bin/bash
   2
   3 OK=0
   4 MKPWD=$PWD
   5 URLLINK=$1
   6 DOWNLOADEDFILE=$2
   7 EXTRACTTO=$4
   8 EXTRACTEDDIR=$5
   9
  10 if test "$DOWNLOADEDFILE" = "0" ; then
  11         DOWNLOADEDFILE=$3 ;
  12 else
  13         URLLINK="$URLLINK/$DOWNLOADEDFILE" ;
  14 fi
  15
  16 if test ! -f "downloads/$DOWNLOADEDFILE" ; then
  17         cd downloads && \
  18         wget --no-check-certificate $URLLINK && \
  19         cd .. && \
  20         OK=1
  21 else
  22         OK=1
  23 fi
  24 if test "$OK" = "0" ; then
  25         exit 1;
  26 fi
  27
  28 case "$DOWNLOADEDFILE" in
  29    *.7z)
  30         if test "$EXTRACTEDDIR" = "" ; then
  31                 EXTRACTEDDIR=${DOWNLOADEDFILE%%.7z}
  32         fi
  33         if test ! -d "src/${EXTRACTEDDIR}" ; then
  34                 echo " * Unpacking '$DOWNLOADEDFILE'..."
  35                 if test "$EXTRACTTO" != "" ; then
  36                         cd $EXTRACTTO &&
  37                         7za x -y $MKPWD/downloads/$DOWNLOADEDFILE >/dev/null &&
  38                         cd $MKPWD
  39                 else
  40                         cd src && \
  41                         7za x -y ../downloads/$DOWNLOADEDFILE >/dev/null && \
  42                         cd ..
  43                 fi
  44         fi
  45         ;;
  46    *.zip)
  47         if test "$EXTRACTEDDIR" = "" ; then
  48                 EXTRACTEDDIR=${DOWNLOADEDFILE%%.zip}
  49         fi
  50         if test ! -d "src/${EXTRACTEDDIR}" ; then
  51                 echo " * Unpacking '$DOWNLOADEDFILE'..."
  52                 if test "$EXTRACTTO" != "" ; then
  53                         cd $EXTRACTTO &&
  54                         unzip -o $MKPWD/downloads/$DOWNLOADEDFILE >/dev/null &&
  55                         cd $MKPWD
  56                 else
  57                         cd src && \
  58                         unzip -o ../downloads/$DOWNLOADEDFILE >/dev/null && \
  59                         cd ..
  60                 fi
  61         fi
  62         ;;
  63    *.tar*|*.tgz)
  64         if test "$EXTRACTEDDIR" = "" ; then
  65                 case "$DOWNLOADEDFILE" in
  66                    *.tar*) EXTRACTEDDIR=${DOWNLOADEDFILE%%.tar*} ;;
  67                    *.tgz)  EXTRACTEDDIR=${DOWNLOADEDFILE%%.tgz*} ;;
  68                    *) echo "unknown archive type for tar case: '$DOWNLOADEDFILE'"; exit 1; ;;
  69                 esac
  70         fi
  71         if test ! -d "src/$EXTRACTEDDIR" ; then
  72                 echo " * Unpacking '$DOWNLOADEDFILE'..."
  73                 if test "$EXTRACTTO" = "" ; then
  74                         EXTRACTTO=src
  75                 fi
  76                 if test ! -d "$EXTRACTTO" ; then
  77                         mkdir -p "$EXTRACTTO";
  78                 fi
  79                 tar -xf downloads/$DOWNLOADEDFILE --directory=$EXTRACTTO
  80         fi
  81         ;;
  82    *) echo "unknown archive type '$DOWNLOADEDFILE'"; exit 1; ;;
  83 esac