mirror of
https://github.com/MariaDB/server.git
synced 2025-01-22 06:44:16 +01:00
35 lines
679 B
Bash
Executable file
35 lines
679 B
Bash
Executable file
#!/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'
|