X-Git-Url: https://rtime.felk.cvut.cz/gitweb/jailhouse.git/blobdiff_plain/60b3e2e53e9cad034b3145ac904f8f7eeb6489a5..HEAD:/.travis.yml

diff --git a/.travis.yml b/.travis.yml
index 5010bb9..309e7f9 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,7 +1,7 @@
 #
 # Jailhouse, a Linux-based partitioning hypervisor
 #
-# Copyright (c) Siemens AG, 2014
+# Copyright (c) Siemens AG, 2014-2016
 #
 # Authors:
 #  Jan Kiszka <jan.kiszka@siemens.com>
@@ -15,19 +15,38 @@ language: c
 compiler:
   - gcc
 
+sudo: required
+dist: trusty
+
+# Remove bogus python installations from PATH,
+# see https://github.com/travis-ci/travis-ci/issues/5326
+before_install:
+  - export PATH=$(echo $PATH | sed 's/\/opt\/python[^:]*//g')
+
 install:
-  - echo "deb http://archive.ubuntu.com/ubuntu utopic main restricted" | sudo tee -a /etc/apt/sources.list
+  # Install additional packages
+  - sudo apt-add-repository 'deb http://archive.ubuntu.com/ubuntu wily main'
   - sudo apt-get update -qq
   - sudo apt-get install -qq python-mako gcc-arm-linux-gnueabihf make
-  - cd ci
+  # Update scan.coverity.com certificate
+  - echo -n | openssl s_client -connect scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca-certificates.crt
+  # Install kernel build environment
+  - pushd ci
   - wget -q http://www.kiszka.org/downloads/travis-ci/kernel-build.tar.xz
   - tar xJf kernel-build.tar.xz
-  - cd ..
+  - popd
 
 script:
-  - cp ci/jailhouse-config-x86.h hypervisor/include/jailhouse/config.h
-  - make KDIR=ci/linux/build-x86
-  - cp ci/jailhouse-config-banana-pi.h hypervisor/include/jailhouse/config.h
-  - make KDIR=ci/linux/build-banana-pi ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- clean all
-  - cp ci/jailhouse-config-vexpress.h hypervisor/include/jailhouse/config.h
-  - make KDIR=ci/linux/build-vexpress ARCH=arm CROSS_COMPILE=arm-linux-gnueabihf- clean all
+  - if [ ${COVERITY_SCAN_BRANCH} != 1 ];
+        then ci/build-all-configs.sh;
+    fi
+
+addons:
+  coverity_scan:
+    project:
+      name: "siemens/jailhouse"
+    notification_email: jan.kiszka@siemens.com
+    build_script_url: https://raw.githubusercontent.com/$TRAVIS_REPO_SLUG/$TRAVIS_BRANCH/ci/coverity-scan-build.sh
+    build_command_prepend: "cov-configure --comptype gcc --compiler arm-linux-gnueabihf-gcc --template"
+    build_command: "unused"
+    branch_pattern: coverity_scan.*