#!/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 CC=gcc47 CXX=g++47 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 USE_BDB=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'