add result file
[model-checker-benchmarks.git] / build.sh
1 #!/bin/bash
2
3 CHECKER_DIR=~/model-checker-priv/model-checker-priv
4
5 if [ -z $1 ] ; then
6         echo "Use default CDS checker directory"
7 else
8         CHECKER_DIR=$1
9 fi
10
11 make CDS_DIR=$CHECKER_DIR