Commit e0727122 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Skip Python antlr install if already installed.

parent 9032683b
......@@ -4,7 +4,8 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
# Setup ANTL3 support in ~/.local/bin
cd $DIR/../antlr/antlr_python_runtime-3.1.3 || exit 1
pip2 install --user --upgrade . || exit 1
pip2 freeze | grep antlr-python-runtime >/dev/null \
|| pip2 install --user --upgrade . || exit 1
# Add .local/bin to PATH
PATH_CMD='export PATH=$PATH:$HOME/.local/bin'
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment