Commit 0de68d23 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Don't emit the binary path when adding to PATH

parent 8252c495
...@@ -8,4 +8,4 @@ pip2 install --user --upgrade . || exit 1 ...@@ -8,4 +8,4 @@ pip2 install --user --upgrade . || exit 1
# Add .local/bin to PATH # Add .local/bin to PATH
PATH_CMD='export PATH=$PATH:$HOME/.local/bin' PATH_CMD='export PATH=$PATH:$HOME/.local/bin'
grep "${PATH_CMD}" ${TASTE_PATHS} || echo "${PATH_CMD}" >> ${TASTE_PATHS} grep "${PATH_CMD}" ${TASTE_PATHS} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS}
...@@ -8,4 +8,4 @@ pip3 install --user --upgrade . || exit 1 ...@@ -8,4 +8,4 @@ pip3 install --user --upgrade . || exit 1
# Add .local/bin to PATH # Add .local/bin to PATH
PATH_CMD='export PATH=$PATH:$HOME/.local/bin' PATH_CMD='export PATH=$PATH:$HOME/.local/bin'
grep "${PATH_CMD}" ${TASTE_PATHS} || echo "${PATH_CMD}" >> ${TASTE_PATHS} grep "${PATH_CMD}" ${TASTE_PATHS} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS}
...@@ -9,4 +9,4 @@ wget -q -O - https://github.com/ttsiodras/asn1scc/releases/download/3.3.9/asn1sc ...@@ -9,4 +9,4 @@ wget -q -O - https://github.com/ttsiodras/asn1scc/releases/download/3.3.9/asn1sc
# Add ~/tool-inst/share/asn1scc/ to PATH # Add ~/tool-inst/share/asn1scc/ to PATH
PATH_CMD='export PATH=$PATH:$HOME/tool-inst/share/asn1scc/' PATH_CMD='export PATH=$PATH:$HOME/tool-inst/share/asn1scc/'
grep "${PATH_CMD}" ${TASTE_PATHS} || echo "${PATH_CMD}" >> ${TASTE_PATHS} grep "${PATH_CMD}" ${TASTE_PATHS} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS}
#!/bin/bash #!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
# Build MSC tools
cd $DIR/../taste-MSC/ || exit 1 cd $DIR/../taste-MSC/ || exit 1
make || exit 1 make || exit 1
cp ./MSC-Antlr3/bin/msc2py.exe $HOME/.local/bin || exit 1 cp ./MSC-Antlr3/bin/msc2py.exe $HOME/.local/bin || exit 1
cp ./MSC-Antlr3/bin/taste-extract-asn-from-design.exe $HOME/.local/bin || exit 1 cp ./MSC-Antlr3/bin/taste-extract-asn-from-design.exe $HOME/.local/bin || exit 1
PATH_CMD='export PATH=$PATH:$HOME/.local/bin'
grep "${PATH_CMD}" ${TASTE_PATHS} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS}
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