add scripts and key

[tsan11-tsan11rec-docker.git] / scripts / setup.sh

diff --git a/scripts/setup.sh b/scripts/setup.sh
new file mode 100755 (executable)
index 0000000..9cfd1fa
--- /dev/null
+++ b/scripts/setup.sh
@@ -0,0 +1,32 @@
+#!/bin/bash
+set -e
+
+# Compile tsan11 benchmarks
+cd /data
+git clone git://plrg.eecs.uci.edu/c11concurrency-benchmarks.git tsan11-benchmarks
+cd tsan11-benchmarks
+git checkout tsan11-docker
+cp /data/scripts/build.sh .
+cp /data/scripts/run.sh .
+cp /data/scripts/test_all.sh .
+cp /data/scripts/calculator.py .
+./build.sh
+cd ..
+
+# Compile tsan11rec benchmarks
+cd /data
+git clone git://plrg.eecs.uci.edu/c11concurrency-benchmarks.git tsan11rec-benchmarks
+cd tsan11rec-benchmarks
+git checkout tsan11-docker
+cp /data/scripts/build.sh .
+cp /data/scripts/run.sh .
+cp /data/scripts/test_all.sh .
+cp /data/scripts/calculator.py .
+sed -i "s/tsan11/tsan11rec/g" clang clang++ gcc g++ build.sh run.sh
+./build.sh
+cd ..
+
+## Firefox
+cd /data/scripts
+./build_firefox_jsshell.sh
+echo >&2 "Setup is now complete. To run the benchmarks, please look at our READE.md"