diff options
Diffstat (limited to 'travis.sh')
-rwxr-xr-x | travis.sh | 22 |
1 files changed, 19 insertions, 3 deletions
@@ -7,15 +7,31 @@ build_autotools() { } build_cmake() { - mkdir $PWD/_build - cd $PWD/_build + CFLAGS="-fsanitize=undefined" + mkdir $PWD/_build && cd $PWD/_build cmake .. -DCMAKE_INSTALL_PREFIX=$PWD/../_install cmake --build . --target install ctest -V . } +build_asan() { + mkdir $PWD/_build && cd $PWD/_build + cmake .. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=$PWD/../_install \ + -DCMAKE_C_FLAGS="-fsanitize=address,undefined -O1" + cmake --build . --target install + ctest -V . +} + +build_tsan() { + mkdir $PWD/_build && cd $PWD/_build + cmake .. -DCMAKE_BUILD_TYPE=Debug -DCMAKE_INSTALL_PREFIX=$PWD/../_install \ + -DCMAKE_C_FLAGS="-fsanitize=thread,undefined -O1" + cmake --build . --target install + ctest -V . +} + if [ "$#" -ne 1 ]; then - echo "Usage: $0 {autotools|cmake}" + echo "Usage: $0 {autotools|cmake|asan|tsan}" exit 1 fi |