mill
author Tomas Zeman <tomas@functionals.cz>
Thu, 24 Oct 2019 13:10:50 +0200
changeset 7 d101f632cc8d
parent 3 a6bf3dddbb7c
child 8 7d705a7b1867
permissions -rwxr-xr-x
Using PublishM2Module, depending on spss-reader-1.3-SNAPSHOT
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     1
#!/usr/bin/env sh
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     2
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     3
# This is a wrapper script, that automatically download mill from GitHub release pages
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     4
# You can give the required mill version with MILL_VERSION env variable
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     5
# If no version is given, it falls back to the value of DEFAULT_MILL_VERSION
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     6
DEFAULT_MILL_VERSION=0.5.1
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     7
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     8
set -e
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
     9
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    10
if [ -z "$MILL_VERSION" ] ; then
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    11
  if [ -f ".mill-version" ] ; then
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    12
    MILL_VERSION="$(head -n 1 .mill-version 2> /dev/null)"
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    13
  elif [ -f "mill" ] && [ "$BASH_SOURCE" != "mill" ] ; then
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    14
    MILL_VERSION=$(grep -F "DEFAULT_MILL_VERSION=" "mill" | head -n 1 | cut -d= -f2)
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    15
  else
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    16
    MILL_VERSION=$DEFAULT_MILL_VERSION
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    17
  fi
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    18
fi
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    19
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    20
MILL_DOWNLOAD_PATH="$HOME/.mill/download"
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    21
MILL_EXEC_PATH="${MILL_DOWNLOAD_PATH}/$MILL_VERSION"
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    22
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    23
if [ ! -x "$MILL_EXEC_PATH" ] ; then
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    24
  mkdir -p $MILL_DOWNLOAD_PATH
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    25
  DOWNLOAD_FILE=$MILL_EXEC_PATH-tmp-download
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    26
  MILL_DOWNLOAD_URL="https://github.com/lihaoyi/mill/releases/download/${MILL_VERSION%%-*}/$MILL_VERSION-assembly"
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    27
  curl --fail -L -o "$DOWNLOAD_FILE" "$MILL_DOWNLOAD_URL"
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    28
  chmod +x "$DOWNLOAD_FILE"
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    29
  mv "$DOWNLOAD_FILE" "$MILL_EXEC_PATH"
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    30
  unset DOWNLOAD_FILE
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    31
  unset MILL_DOWNLOAD_URL
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    32
fi
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    33
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    34
unset MILL_DOWNLOAD_PATH
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    35
unset MILL_VERSION
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    36
a6bf3dddbb7c Mill upgrade -> 0.5.1. Updated project links.
Tomas Zeman <tomas@functionals.cz>
parents:
diff changeset
    37
exec $MILL_EXEC_PATH "$@"