Commit state of repository at time of OOPSLA 2015 submission.
[satcheck.git] / bin / annotate
1 #!/bin/bash
2 DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
3 MC2DIR=`dirname $DIR`
4 CLANG_INCLUDE_DIR=/usr/lib/llvm-3.7/lib/clang/3.7.0/include
5
6 $MC2DIR/clang/build/add_mc2_annotations $1 -- -DPROBLEMSIZE=1 -I/usr/include -I$MC2DIR/include -I$CLANG_INCLUDE_DIR
7