X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/21b66417dc664ea6cba398553a62beb3a9270f75..83ab92262519600b52ea187de3ce0ed0d70c0648:/.travis.yml

diff --git a/.travis.yml b/.travis.yml
index 802afb315a..513b873def 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -15,13 +15,20 @@ compiler:
 #                                                                    ^~~~
 #
 addons:
-  apt: # Get recent versions of the compiler, even on Ubuntu Precise
-      sources:
-      - ubuntu-toolchain-r-test
-      packages:
-      - gcc-4.7
-      - g++-4.7
+- apt: # Get recent versions of the compiler, even on Ubuntu Precise
+    sources:
+    - ubuntu-toolchain-r-test
+    packages:
+    - 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.