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/run.sh .
  11 cp /data/scripts/test_all.sh .
  12 cp /data/scripts/calculator.py .
  13 ./build.sh
  14 cd ..
  15
  16 # Compile tsan11rec benchmarks
  17 cd /data
  18 git clone git://plrg.eecs.uci.edu/c11concurrency-benchmarks.git tsan11rec-benchmarks
  19 cd tsan11rec-benchmarks
  20 git checkout tsan11-docker
  21 cp /data/scripts/build.sh .
  22 cp /data/scripts/run.sh .
  23 cp /data/scripts/test_all.sh .
  24 cp /data/scripts/calculator.py .
  25 sed -i "s/tsan11/tsan11rec/g" clang clang++ gcc g++ build.sh run.sh
  26 ./build.sh
  27 cd ..
  28
  29 ## Firefox
  30 cd /data/scripts
  31 ./build_firefox_jsshell.sh
  32 echo >&2 "Setup is now complete. To run the benchmarks, please look at our READE.md"