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