-# - clang # does not work for us on debian stable (boost is too old there)
-before_install:
- - sudo apt-get update -qq
- - sudo apt-get install -y cmake doxygen valgrind default-jdk gfortran liblua5.1-dev lua5.1 libboost-dev libboost-all-dev libns3-dev ns3
+# - clang # boost 1.48 raises an error on clang:
+# /usr/include/boost/signals2/detail/auto_buffer.hpp:565:57: error:
+# reference to non-static member function must be called
+# std::uninitialized_fill( buffer_, buffer_ + size, init_value );
+# ^~~~
+#
+addons:
+ apt:
+ packages:
+ - cmake
+ - valgrind
+ - default-jdk
+ - gfortran
+ - libboost-dev
+ - libboost-all-dev
+ - libdw-dev
+ - libevent-dev
+ - libunwind8-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=ON -Denable_java=OFF -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=OFF ."
+ build_command: "make VERBOSE=1"
+ branch_pattern: coverity
+
+# 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.
+# - curl http://www.lua.org/ftp/lua-5.3.1.tar.gz | tar xz
+# - cd lua-5.3.1
+# - if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then make linux ; else make macosx ; fi
+# - make INSTALL_TOP=$TRAVIS_BUILD_DIR/LuaInstall install
+# - cd ..
+# - ls -lR $TRAVIS_BUILD_DIR/LuaInstall
+