Travis CI: Test also by Coverity Scan
authorIvan Maidanski <ivmai@mail.ru>
Wed, 19 Apr 2017 20:40:44 +0000 (23:40 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Wed, 19 Apr 2017 20:40:44 +0000 (23:40 +0300)
.travis.yml

index 3feb12a..a3aa66e 100644 (file)
@@ -8,6 +8,15 @@ matrix:
       compiler: gcc
     - os: osx
     - os: linux
+      addons:
+        coverity_scan:
+          project:
+            name: ivmai/libatomic_ops
+            version: 7.5.0
+          branch_pattern: master
+          build_command_prepend: "./autogen.sh && ./configure"
+          build_command: "make -j check CFLAGS_EXTRA=-DLINT2"
+    - os: linux
       compiler: clang
       env:
         - CFLAGS_EXTRA="-O3 -march=native"
@@ -229,20 +238,25 @@ before_install:
     fi
 
 install:
-  - ./autogen.sh
+  - if [[ "$COVERITY_SCAN_BRANCH" != 1 ]]; then ./autogen.sh; fi
   - if [[ "$REPORT_COVERAGE" == true ]]; then
       gem install coveralls-lcov;
     fi
 
 script:
-  - ./configure $CONF_OPTIONS --enable-werror
-  - if [[ "$CSA_CHECK" != true && "$CPPCHECK_ENABLE" == "" ]]; then
+  - if [[ "$COVERITY_SCAN_BRANCH" != 1 ]]; then
+      ./configure $CONF_OPTIONS --enable-werror;
+    fi
+  - if [[ "$CSA_CHECK" != true && "$CPPCHECK_ENABLE" == ""
+          && "$COVERITY_SCAN_BRANCH" != 1 ]]; then
       cat src/config.h;
     fi
   - if [[ "$CROSS_GCC_VER" != "" ]]; then
       CC=$CROSS_CC;
     fi
-  - make -j $MAKEFILE_TARGET CC=$CC CFLAGS_EXTRA="$CFLAGS_EXTRA"
+  - if [[ "$COVERITY_SCAN_BRANCH" != 1 ]]; then
+      make -j $MAKEFILE_TARGET CC=$CC CFLAGS_EXTRA="$CFLAGS_EXTRA";
+    fi
   - if [ -f tests/test_atomic.log ]; then cat tests/test_atomic*.log; fi
   - if [[ "$CSA_CHECK" == true ]]; then
       ${CC} --analyze -Xanalyzer -analyzer-output=text -Werror -I src