From 7c74728755ef56025569e262cc8056e4650dd4c8 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 19 Jan 2016 18:16:28 +0100
Subject: [PATCH] Try to activate coverity for simgrid

---
 .travis.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 802afb315a..19105ecd33 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -22,6 +22,13 @@ addons:
       - gcc-4.7
       - g++-4.7
 #      - clang
+  coverity_scan:
+    project:
+      name: "mquinson/simgrid"
+    notification_email: martin.quinson@loria.fr
+    build_command_prepend: "cmake -Denable_documentation=OFF -Denable_coverage=OFF -Denable_java=OFF -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=OFF -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=OFF ."  coverity_scan:
+    build_command:   "make VERBOSE=1"
+    branch_pattern: coverity_scan
 
 # Don't install lua from Debian as we need 5.3 and don't have a backport.
 #   Installing lua from the source does not make any dynamic library.
-- 
2.20.1