benchmarks/satcheck/linuxrwlock/benchtso.sh

   1 #!/bin/bash
   2 source ../path.sh
   3 source benchmark-config.sh
   4 export PATH=$MC2DIR:$PATH
   5 /bin/rm -f log logall
   6 if [ $RUN_FRONTEND == true ]; then
   7  ./compile.sh
   8 fi
   9 for i in $SIZES_TSO ;
  10 do
  11 echo size= $i >> log
  12 gcc ${NAME}.c -DPROBLEMSIZE=$i -O3 -I$MC2DIR/include -L$MC2DIR -ltso_model -o ${NAME}
  13 export LD_LIBRARY_PATH=$MC2DIR
  14 export DYLD_LIBRARY_PATH=$MC2DIR
  15 (time ./${NAME} ${RUNTIME_FLAGS}) >> logall 2>> log
  16 done