mill
changeset 8 7d705a7b1867
parent 3 a6bf3dddbb7c
equal deleted inserted replaced
7:d101f632cc8d 8:7d705a7b1867
     1 #!/usr/bin/env sh
     1 #!/usr/bin/env sh
     2 
     2 
     3 # This is a wrapper script, that automatically download mill from GitHub release pages
     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
     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
     5 # If no version is given, it falls back to the value of DEFAULT_MILL_VERSION
     6 DEFAULT_MILL_VERSION=0.5.1
     6 DEFAULT_MILL_VERSION=0.7.4
     7 
     7 
     8 set -e
     8 set -e
     9 
     9 
    10 if [ -z "$MILL_VERSION" ] ; then
    10 if [ -z "$MILL_VERSION" ] ; then
    11   if [ -f ".mill-version" ] ; then
    11   if [ -f ".mill-version" ] ; then
    15   else
    15   else
    16     MILL_VERSION=$DEFAULT_MILL_VERSION
    16     MILL_VERSION=$DEFAULT_MILL_VERSION
    17   fi
    17   fi
    18 fi
    18 fi
    19 
    19 
    20 MILL_DOWNLOAD_PATH="$HOME/.mill/download"
    20 if [ "x${XDG_CACHE_HOME}" != "x" ] ; then
    21 MILL_EXEC_PATH="${MILL_DOWNLOAD_PATH}/$MILL_VERSION"
    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#*.}"
    22 
    30 
    23 if [ ! -x "$MILL_EXEC_PATH" ] ; then
    31 if [ ! -x "$MILL_EXEC_PATH" ] ; then
    24   mkdir -p $MILL_DOWNLOAD_PATH
    32   mkdir -p $MILL_DOWNLOAD_PATH
       
    33   if [ "$MILL_MAJOR_VERSION" -gt 0 ] || [ "$MILL_MINOR_VERSION" -ge 5 ] ; then
       
    34     ASSEMBLY="-assembly"
       
    35   fi
    25   DOWNLOAD_FILE=$MILL_EXEC_PATH-tmp-download
    36   DOWNLOAD_FILE=$MILL_EXEC_PATH-tmp-download
    26   MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/$MILL_VERSION-assembly"
    37   MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/$MILL_VERSION${ASSEMBLY}"
    27   curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL"
    38   curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL"
    28   chmod +x "$DOWNLOAD_FILE"
    39   chmod +x "$DOWNLOAD_FILE"
    29   mv "$DOWNLOAD_FILE" "$MILL_EXEC_PATH"
    40   mv "$DOWNLOAD_FILE" "$MILL_EXEC_PATH"
    30   unset DOWNLOAD_FILE
    41   unset DOWNLOAD_FILE
    31   unset MILL_DOWNLOAD_URL
    42   unset MILL_DOWNLOAD_URL