diff --git a/install/05-antlr.sh b/install/05-antlr.sh new file mode 100755 index 0000000000000000000000000000000000000000..2d87fe3d2861b137a648b05ae0b8b6442c055e7d --- /dev/null +++ b/install/05-antlr.sh @@ -0,0 +1,11 @@ +#!/bin/bash +DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" +TASTE_PATHS=$HOME/.bashrc.taste + +# Setup ANTL3 support in ~/.local/bin +cd $DIR/../antlr/antlr_python_runtime-3.1.3 || exit 1 +pip2 install --user --upgrade . || exit 1 + +# Add .local/bin to PATH +PATH_CMD='export PATH=$PATH:$HOME/.local/bin' +grep "${PATH_CMD}" ${TASTE_PATHS} || echo "${PATH_CMD}" >> ${TASTE_PATHS}