scripts/setup.sh

   1 #!/bin/bash
   2 set -e
   3
   4 # Compile tsan11 benchmarks
   5 cd /data
   6 git clone git://plrg.eecs.uci.edu/c11concurrency-benchmarks.git tsan11-benchmarks
   7 cd tsan11-benchmarks
   8 git checkout tsan11-docker
   9 cp /data/scripts/build.sh .
  10 cp /data/scripts/do_test_all.sh .
  11 cp /data/scripts/app_assertion_test.sh .
  12 cp /data/scripts/app_test_all.sh .
  13 cp /data/scripts/run.sh .
  14 cp /data/scripts/calculator.py .
  15 ./build.sh
  16 cd ..
  17
  18 # Compile tsan11rec benchmarks
  19 cd /data
  20 git clone git://plrg.eecs.uci.edu/c11concurrency-benchmarks.git tsan11rec-benchmarks
  21 cd tsan11rec-benchmarks
  22 git checkout tsan11-docker
  23 cp /data/scripts/build.sh .
  24 cp /data/scripts/do_test_all.sh .
  25 cp /data/scripts/app_assertion_test.sh .
  26 cp /data/scripts/app_test_all.sh .
  27 cp /data/scripts/run.sh .
  28 cp /data/scripts/calculator.py .
  29 sed -i "s/tsan11/tsan11rec/g" clang clang++ gcc g++ build.sh run.sh
  30 ./build.sh
  31 cd ..
  32
  33 ## Firefox
  34 cd /data/scripts
  35 ./build_firefox_jsshell.sh
  36 echo >&2 "Setup is now complete. To run the benchmarks, please look at our READE.md"