#!/bin/bash
DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
MC2DIR=`dirname $DIR`
CLANG_INCLUDE_DIR=/usr/lib/llvm-3.7/lib/clang/3.7.0/include

$MC2DIR/clang/build/add_mc2_annotations $1 -- -DPROBLEMSIZE=1 -I/usr/include -I$MC2DIR/include -I$CLANG_INCLUDE_DIR