10_dmt.sh 912 Bytes
Newer Older
1 2
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
3
. "${DIR}/common.sh"
4 5

# Setup the tools in ~/.local/bin
6
cd "$DIR/../dmt" || exit 1
7 8 9 10

# Skip install if the version installed is the same and the tree is clean
HEAD="$(grep version= setup.py  | awk -F\" '{print $2}')"
VERSION_INSTALLED="$(dmt --version 2>/dev/null | grep ^TAST | awk '{print $NF}')"
11 12 13 14 15 16 17 18
GIT_OUTPUT=$(git status --porcelain)
if [ "${GIT_OUTPUT}" == "" ] ; then
    TREE_DIRTY=0
else
    TREE_DIRTY=1
fi

if [ ${TREE_DIRTY} -eq 0 ] && [ "${HEAD}" == "${VERSION_INSTALLED}" ] ; then
19 20 21 22
    echo DMT tree is clean and already installed. Skipping DMT install...
    exit 0
fi

23 24 25 26 27
# Unfortunately, the --upgrade DOES NOT ALWAYS WORK.
# Uninstall first...
echo y | pip3 uninstall  dmt

# ...then install the new version:
28 29 30 31
pip3 install --user --upgrade . || exit 1

# Add .local/bin to PATH
PATH_CMD='export PATH=$PATH:$HOME/.local/bin'
32
UpdatePATH