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 MODE=perf DEBUG=1 CHECK_INVARIANTS=1 USE_MALLOC_MODE=0 make -j dbtest
  28
  29 # Data structure benchmarks
  30 cd /data/tsan11-benchmarks/cdschecker_modified_benchmarks
  31 make clean
  32 make
  33
  34 # Data structures with injected bugs that tsan11 and tsan11rec cannot detect
  35 cd ~/c11tester-benchmarks/tsan11-missingbug
  36 make clean
  37 make