mill
changeset 30 12cda49d6c84
equal deleted inserted replaced
29:bee7beb443f9 30:12cda49d6c84
       
     1 #!/usr/bin/env sh
       
     2 
       
     3 # This is a wrapper script, that automatically download mill from GitHub release pages
       
     4 # You can give the required mill version with MILL_VERSION env variable
       
     5 # If no version is given, it falls back to the value of DEFAULT_MILL_VERSION
       
     6 DEFAULT_MILL_VERSION=0.7.4
       
     7 
       
     8 set -e
       
     9 
       
    10 if [ -z "$MILL_VERSION" ] ; then
       
    11   if [ -f ".mill-version" ] ; then
       
    12     MILL_VERSION="$(head -n 1 .mill-version 2> /dev/null)"
       
    13   elif [ -f "mill" ] && [ "$BASH_SOURCE" != "mill" ] ; then
       
    14     MILL_VERSION=$(grep -F "DEFAULT_MILL_VERSION=" "mill" | head -n 1 | cut -d= -f2)
       
    15   else
       
    16     MILL_VERSION=$DEFAULT_MILL_VERSION
       
    17   fi
       
    18 fi
       
    19 
       
    20 if [ "x${XDG_CACHE_HOME}" != "x" ] ; then
       
    21   MILL_DOWNLOAD_PATH="${XDG_CACHE_HOME}/mill/download"
       
    22 else
       
    23   MILL_DOWNLOAD_PATH="${HOME}/.cache/mill/download"
       
    24 fi
       
    25 MILL_EXEC_PATH="${MILL_DOWNLOAD_PATH}/${MILL_VERSION}"
       
    26 
       
    27 version_remainder="$MILL_VERSION"
       
    28 MILL_MAJOR_VERSION="${version_remainder%%.*}"; version_remainder="${version_remainder#*.}"
       
    29 MILL_MINOR_VERSION="${version_remainder%%.*}"; version_remainder="${version_remainder#*.}"
       
    30 
       
    31 if [ ! -x "$MILL_EXEC_PATH" ] ; then
       
    32   mkdir -p $MILL_DOWNLOAD_PATH
       
    33   if [ "$MILL_MAJOR_VERSION" -gt 0 ] || [ "$MILL_MINOR_VERSION" -ge 5 ] ; then
       
    34     ASSEMBLY="-assembly"
       
    35   fi
       
    36   DOWNLOAD_FILE=$MILL_EXEC_PATH-tmp-download
       
    37   MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/$MILL_VERSION${ASSEMBLY}"
       
    38   curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL"
       
    39   chmod +x "$DOWNLOAD_FILE"
       
    40   mv "$DOWNLOAD_FILE" "$MILL_EXEC_PATH"
       
    41   unset DOWNLOAD_FILE
       
    42   unset MILL_DOWNLOAD_URL
       
    43 fi
       
    44 
       
    45 unset MILL_DOWNLOAD_PATH
       
    46 unset MILL_VERSION
       
    47 
       
    48 exec $MILL_EXEC_PATH "$@"