scripts/build.sh

   1 #!/bin/sh
   2
   3 # Mabain
   4 cd /data/tsan11-benchmarks/mabain
   5 make clean
   6 rm -r -f examples/multi_test
   7 make install
   8 cd examples
   9 make
  10 mkdir multi_test
  11
  12 # Gdax
  13 cd /data/tsan11-benchmarks/gdax-orderbook-hpp/demo
  14 make clean
  15 make
  16
  17 # Iris
  18 cd /data/tsan11-benchmarks/iris
  19 make clean
  20 make
  21 make test
  22
  23 # Silo
  24 cd /data/tsan11-benchmarks/silo
  25 make clean
  26 MODE=perf CHECK_INVARIANTS=0 USE_MALLOC_MODE=0 make -j dbtest
  27
  28 # Data structure benchmarks
  29 cd /data/tsan11-benchmarks/cdschecker_modified_benchmarks
  30 make clean
  31 make
  32
  33 # Data structures with injected bugs that tsan11 and tsan11rec cannot detect
  34 cd ~/c11tester-benchmarks/tsan11-missingbug
  35 make clean
  36 make