benchmarks/satcheck/linuxrwlock/compile.sh

   1 #!/bin/sh
   2 . ../path.sh
   3 . ./benchmark-config.sh
   4 echo $MC2DIR/clang/build/add_mc2_annotations ${NAME}_unannotated.c -- -DPROBLEMSIZE=1 -I/usr/include -I$CLANG_INCLUDE_DIR -I$MC2DIR/include
   5 $MC2DIR/clang/build/add_mc2_annotations ${NAME}_unannotated.c -- -DPROBLEMSIZE=1 -I/usr/include -I$CLANG_INCLUDE_DIR -I$MC2DIR/include > ${NAME}.c