You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

36 lines
734 B

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