add scripts and key

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

diff --git a/scripts/jsshell-tsan11rec.sh b/scripts/jsshell-tsan11rec.sh
new file mode 100644 (file)
index 0000000..1f2f12b
--- /dev/null
+++ b/scripts/jsshell-tsan11rec.sh
@@ -0,0 +1,19 @@
+#! /bin/sh
+
+if [ -z $1 ] ; then
+       echo "usage: $0 <dirname>"
+elif [ -d $1 ] ; then
+       echo "directory $1 already exists"
+else
+       autoconf2.13
+       mkdir $1
+       cd $1
+       LLVM_ROOT="/data/tsan11rec_build/llvm_patched_build"
+       CC="/data/tsan11rec_build/llvm_patched_build/bin/clang" \
+       CXX="/data/tsan11rec_build/llvm_patched_build/bin/clang++" \
+       CFLAGS="-fsanitize=thread" \
+       CXXFLAGS="-fsanitize=thread" \
+       LDFLAGS="-fsanitize=thread" \
+                       ../configure --disable-debug --enable-optimize="-O2 -gline-tables-only" --enable-llvm-hacks --disable-jemalloc
+       make -j 8
+fi