20_msc.sh 466 Bytes
Newer Older
1
2
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
Thanassis Tsiodras's avatar
Thanassis Tsiodras committed
3
TASTE_PATHS=$HOME/.bashrc.taste
4
5

# Build MSC tools
6
7
8
9
cd $DIR/../taste-MSC/ || exit 1
make || 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
10

Thanassis Tsiodras's avatar
Thanassis Tsiodras committed
11
# Install them in .local/bin
12
13
PATH_CMD='export PATH=$PATH:$HOME/.local/bin'
grep "${PATH_CMD}" ${TASTE_PATHS} >/dev/null || echo "${PATH_CMD}" >> ${TASTE_PATHS}