- - 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
+ - cmake
+ - valgrind
+ - default-jdk
+ - gfortran
+ - libboost-dev
+ - libboost-all-dev
+ coverity_scan:
+ project:
+ name: "simgrid/simgrid"
+ description: "Build submitted via Travis CI"
+ notification_email: martin.quinson@ens-rennes.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 ."
+ build_command: "make VERBOSE=1"
+ branch_pattern: coverity