70_taste-model-checker.sh 278 Bytes
Newer Older
1
#!/bin/bash
2 3

# DISABLE THIS UNTIL BUILD IS FIXED
4
exit 0
5

6
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
7 8 9
. ${DIR}/common.sh

# Install model checker (where?)
10 11 12
cd $DIR/../taste-model-checker || exit 1
make install || exit 1
make clean || exit 1
13 14

# Update PATH - to where?