2011-11-16 20:44:16 +01:00
|
|
|
#!/bin/sh
|
|
|
|
|
#
|
2016-01-08 22:52:03 +01:00
|
|
|
# Run all the Coverage and Valgrind tests
|
|
|
|
|
#
|
2011-11-16 20:44:16 +01:00
|
|
|
|
2017-10-27 22:43:56 +02:00
|
|
|
# Source directory
|
|
|
|
|
SOURCE=`pwd`
|
|
|
|
|
|
|
|
|
|
# Dest directory
|
|
|
|
|
DEST=`mktemp -d`
|
|
|
|
|
|
2011-11-16 20:44:16 +01:00
|
|
|
make distclean
|
|
|
|
|
|
2017-10-27 22:43:56 +02:00
|
|
|
cd $DEST
|
|
|
|
|
|
2016-01-08 22:52:03 +01:00
|
|
|
# Coverage
|
2017-10-27 22:43:56 +02:00
|
|
|
if ! $SOURCE/configure --enable-coverage --enable-sde; then
|
2011-11-16 20:44:16 +01:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make lcov_reset check lcov_capture lcov_html; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2017-11-06 22:16:21 +01:00
|
|
|
cp -a cov $SOURCE/cov
|
|
|
|
|
|
2011-11-16 20:44:16 +01:00
|
|
|
if ! make distclean; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2016-01-08 22:52:03 +01:00
|
|
|
# Valgrind
|
2017-10-27 22:43:56 +02:00
|
|
|
if ! $SOURCE/configure --enable-valgrind; then
|
2011-11-16 20:44:16 +01:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make check distclean; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2016-01-08 22:52:03 +01:00
|
|
|
# Helgrind
|
2017-10-27 22:43:56 +02:00
|
|
|
if ! $SOURCE/configure --enable-helgrind; then
|
2015-10-30 22:32:49 +01:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make check distclean; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2016-01-08 22:52:03 +01:00
|
|
|
# Drd
|
2017-10-27 22:43:56 +02:00
|
|
|
if ! $SOURCE/configure --enable-drd; then
|
2015-10-30 22:32:49 +01:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
if ! make check distclean; then
|
|
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|
2017-10-27 22:43:56 +02:00
|
|
|
cd $SOURCE
|
|
|
|
|
|
|
|
|
|
if ! ./configure; then
|
2011-11-16 20:44:16 +01:00
|
|
|
exit 1
|
|
|
|
|
fi
|
|
|
|
|
|