travis/coverity: add coverity support

Run only on push to branch coverity-scan. We can use a cron script to do
this 4 times a week (that's our allowance).

NOTE: possible future improvements are:

1. Fold the build matrix item into another short one so we don't overburden
   travis. It's a little less clear but it should be nicer on the
   infrastructure.
2. Change the security token, one can do that from the coverity admin page.
3. Don't do the naive `make depend`, but use the prebuilt libraries.
This commit is contained in:
Nicolas Hillegeer
2014-05-31 16:19:14 +02:00
parent 7eae32b3a6
commit 7f9caaf30d
2 changed files with 21 additions and 6 deletions

View File

@@ -77,7 +77,16 @@ fi
# for more information.
MAKE_CMD="make -j2"
if [ "$TRAVIS_BUILD_TYPE" = "clang/asan" ]; then
if [ "$TRAVIS_BUILD_TYPE" = "coverity" ]; then
curl -s https://scan.coverity.com/scripts/travisci_build_coverity_scan.sh |
COVERITY_SCAN_PROJECT_NAME="neovim/neovim" \
COVERITY_SCAN_NOTIFICATION_EMAIL="coverity@aktau.be" \
COVERITY_SCAN_BRANCH_PATTERN="coverity-scan" \
COVERITY_SCAN_BUILD_COMMAND_PREPEND="$MAKE_CMD deps" \
COVERITY_SCAN_BUILD_COMMAND="$MAKE_CMD nvim" \
bash
exit $?
elif [ "$TRAVIS_BUILD_TYPE" = "clang/asan" ]; then
if [ ! -d /usr/local/clang-3.4 ]; then
echo "Downloading clang 3.4..."
sudo sh <<- "EOF"