70_taste-model-checker.sh 233 Bytes
Newer Older
1
2
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
3
4
5
. ${DIR}/common.sh

# Install model checker (where?)
6
7
8
cd $DIR/../taste-model-checker || exit 1
make install || exit 1
make clean || exit 1
9
10

# Update PATH - to where?