1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
|
#!/bin/bash
set -e
pushd $(dirname $0) &>/dev/null
scriptdir=$PWD
popd &>/dev/null
tokudbdir=$(dirname $scriptdir)
cd $tokudbdir
if [ ! -d build ] ; then
mkdir build
pushd build
cmake \
-D CMAKE_BUILD_TYPE=drd \
-D USE_VALGRIND=ON \
-D TOKU_DEBUG_PARANOID=ON \
-D USE_CTAGS=OFF \
-D USE_GTAGS=OFF \
-D USE_CSCOPE=OFF \
-D USE_ETAGS=OFF \
-D CMAKE_LINK_DEPENDS_NO_SHARED=ON \
-G Ninja \
-D RUN_LONG_TESTS=ON \
-D TOKUDB_DATA=$tokudbdir/../tokudb.data \
..
ninja build_jemalloc build_lzma
popd
fi
cd build
ctest -j16 \
-D Nightly \
-R '/drd|/helgrind'
|