Commit 35732d38 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Refactor common functionality.

parent fa4e284d
#!/bin/bash #!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
. ${DIR}/common.sh
pip install --user --upgrade singledispatch || exit 1 pip install --user --upgrade singledispatch || exit 1
pip install --user --upgrade stringtemplate3 || exit 1 pip install --user --upgrade stringtemplate3 || exit 1
#!/bin/bash #!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
TASTE_PATHS=$HOME/.bashrc.taste . ${DIR}/common.sh
# Setup ANTL3 support in ~/.local/bin # Setup ANTL3 support in ~/.local/bin
cd $DIR/../antlr/antlr_python_runtime-3.1.3 || exit 1 cd $DIR/../antlr/antlr_python_runtime-3.1.3 || exit 1
...@@ -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} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS} UpdatePATH
#!/bin/bash #!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
TASTE_PATHS=$HOME/.bashrc.taste . ${DIR}/common.sh
# Setup the tools in ~/.local/bin # Setup the tools in ~/.local/bin
cd $DIR/../dmt || exit 1 cd $DIR/../dmt || exit 1
...@@ -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} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS} UpdatePATH
#!/bin/bash #!/bin/bash
TASTE_PATHS=$HOME/.bashrc.taste DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
. ${DIR}/common.sh
# Fetch and install latest ASN1SCC release # Fetch and install latest ASN1SCC release
mkdir -p $HOME/tool-inst/share/asn1scc/ || exit 1 mkdir -p ${PREFIX}/share/asn1scc/ || exit 1
cd $HOME/tool-inst/share/ || exit 1 cd ${PREFIX}/share/ || exit 1
wget -q -O - https://github.com/ttsiodras/asn1scc/releases/download/3.3.9/asn1scc-bin-3.3.9.tar.gz \ wget -q -O - https://github.com/ttsiodras/asn1scc/releases/download/3.3.9/asn1scc-bin-3.3.9.tar.gz \
| tar zxvf - | tar zxvf -
# Add ~/tool-inst/share/asn1scc/ to PATH # Add to PATH
PATH_CMD='export PATH=$PATH:$HOME/tool-inst/share/asn1scc/' PATH_CMD='export PATH=$PATH:'"${PREFIX}/share/asn1scc/"
grep "${PATH_CMD}" ${TASTE_PATHS} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS} UpdatePATH
#!/bin/bash #!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
TASTE_PATHS=$HOME/.bashrc.taste . ${DIR}/common.sh
# Build MSC tools # Build MSC tools
cd $DIR/../taste-MSC/ || exit 1 cd $DIR/../taste-MSC/ || exit 1
make || exit 1 make || exit 1
# Install them in .local/bin
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
# Install them in .local/bin # Update the path
PATH_CMD='export PATH=$PATH:$HOME/.local/bin' PATH_CMD='export PATH=$PATH:$HOME/.local/bin'
grep "${PATH_CMD}" ${TASTE_PATHS} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS} UpdatePATH
#!/bin/bash #!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
TASTE_PATHS=$HOME/.bashrc.taste . ${DIR}/common.sh
cd $DIR/../opengeode || exit 1 cd $DIR/../opengeode || exit 1
pip install --user --upgrade . || exit 1 pip 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} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS} UpdatePATH
#!/bin/bash #!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
. ${DIR}/common.sh
# Install model checker (where?)
cd $DIR/../taste-model-checker || exit 1 cd $DIR/../taste-model-checker || exit 1
make install || exit 1 make install || exit 1
make clean || exit 1 make clean || exit 1
# Update PATH - to where?
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