Add the new makesan.sh script and some more comments

This commit is contained in:
Andrea Mazzoleni 2016-01-08 22:52:03 +01:00
parent 9430106c71
commit e5ab577b6d
4 changed files with 68 additions and 0 deletions

View file

@ -1,5 +1,7 @@
#!/bin/sh
#
# Run the Coverage test
#
make distclean

57
makesan.sh Executable file
View file

@ -0,0 +1,57 @@
#!/bin/sh
#
# Run all the Sanitizers available
#
# Compiler to use
COMPILER=clang-3.6
# Options for configure
# --disable-asm
# Inline assembly is not supported by the Sanitizers
# --without-blkid
# External libraries are not supported by the Sanitizers
OPTIONS="--disable-asm --without-blkid"
make distclean
# AddressSanitizer
if ! ./configure --enable-asan $OPTIONS CC=$COMPILER; then
exit 1
fi
if ! make check distclean; then
exit 1
fi
# UndefinedBehaviourSanitizer
if ! ./configure --enable-ubsan $OPTIONS CC=$COMPILER; then
exit 1
fi
if ! make check distclean; then
exit 1
fi
# MemorySanitizer
if ! ./configure --enable-msan $OPTIONS CC=$COMPILER; then
exit 1
fi
if ! make check distclean; then
exit 1
fi
# ThreadSanitizer
if ! ./configure --enable-tsan $OPTIONS CC=$COMPILER; then
exit 1
fi
if ! make check distclean; then
exit 1
fi
if ! ./configure ; then
exit 1
fi

View file

@ -1,5 +1,7 @@
#!/bin/sh
#
# Run the Coverity Scan static analyzer
#
rm -r cov-int

View file

@ -1,8 +1,11 @@
#!/bin/sh
#
# Run all the Coverage and Valgrind tests
#
make distclean
# Coverage
if ! ./configure --enable-coverage --enable-sde; then
exit 1
fi
@ -11,6 +14,7 @@ if ! make lcov_reset check lcov_capture lcov_html; then
exit 1
fi
# Keep a copy of the coverage results
rm -rf cov_release
mv cov cov_release
@ -18,6 +22,7 @@ if ! make distclean; then
exit 1
fi
# Valgrind
if ! ./configure --enable-valgrind; then
exit 1
fi
@ -26,6 +31,7 @@ if ! make check distclean; then
exit 1
fi
# Helgrind
if ! ./configure --enable-helgrind; then
exit 1
fi
@ -34,6 +40,7 @@ if ! make check distclean; then
exit 1
fi
# Drd
if ! ./configure --enable-drd; then
exit 1
fi