add scripts and key

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

diff --git a/scripts/build.sh b/scripts/build.sh
new file mode 100755 (executable)
index 0000000..d3aef3e
--- /dev/null
+++ b/scripts/build.sh
@@ -0,0 +1,36 @@
+#!/bin/sh
+
+# Mabain
+cd /data/tsan11-benchmarks/mabain
+make clean
+rm -r -f examples/multi_test
+make install
+cd examples
+make
+mkdir multi_test
+
+# Gdax
+cd /data/tsan11-benchmarks/gdax-orderbook-hpp/demo
+make clean
+make
+
+# Iris
+cd /data/tsan11-benchmarks/iris
+make clean
+make
+make test
+
+# Silo
+cd /data/tsan11-benchmarks/silo
+make clean
+MODE=perf CHECK_INVARIANTS=0 USE_MALLOC_MODE=0 make -j dbtest
+
+# Data structure benchmarks
+cd /data/tsan11-benchmarks/cdschecker_modified_benchmarks
+make clean
+make
+
+# Data structures with injected bugs that tsan11 and tsan11rec cannot detect
+cd ~/c11tester-benchmarks/tsan11-missingbug
+make clean
+make