Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Ignore output of bugged1_liveness_visited
[simgrid.git] / .travis.yml
1 # NS3 is disabled because the version in ubuntu precise does not lead
2 # to the same timings (precision error?)
3 # Reenable with 
4 #   cmake -Denable_ns3
5 #   apt-get libns3-dev ns3
6 #
7 #
8 language: cpp
9 compiler:
10    - gcc
11 #  - clang # boost 1.48 raises an error on clang:
12 #            /usr/include/boost/signals2/detail/auto_buffer.hpp:565:57: error:
13 #              reference to non-static member function must be called
14 #                        std::uninitialized_fill( buffer_, buffer_ + size, init_value );
15 #                                                                    ^~~~
16 #
17 addons:
18   apt: # Get recent versions of the compiler, even on Ubuntu Precise
19     sources:
20     - ubuntu-toolchain-r-test
21     packages:
22     - gcc-4.7
23     - g++-4.7
24   coverity_scan:
25     project:
26       name: "mquinson/simgrid"
27       description: "Build submitted via Travis CI"
28     notification_email: martin.quinson@ens-rennes.fr
29     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 ."
30     build_command:   "make VERBOSE=1"
31     branch_pattern: coverity
32
33 # Don't install lua from Debian as we need 5.3 and don't have a backport.
34 #   Installing lua from the source does not make any dynamic library.
35 #   - curl http://www.lua.org/ftp/lua-5.3.1.tar.gz | tar xz
36 #   - cd lua-5.3.1 
37 #   -   if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then make linux ; else make macosx ; fi
38 #   -   make INSTALL_TOP=$TRAVIS_BUILD_DIR/LuaInstall install
39 #   - cd ..
40 #   - ls -lR $TRAVIS_BUILD_DIR/LuaInstall
41
42 # Install libboost-chrono1.48-dev to get boost 1.48 on Ubuntu Precise. What we really want is libboost-dev libboost-all-dev
43 # Still need sudo for update-alternatives
44 before_install:
45    - if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then sudo add-apt-repository --yes ppa:kubuntu-ppa/backports ; fi # cmake higher than 2.8.7
46    - if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then sudo apt-get update  -qq ; fi
47    - if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then sudo apt-get install -y cmake valgrind default-jdk gfortran libboost-chrono1.48-dev ; fi
48    - if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.7 50 ; fi
49    - if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-4.7 50 ; fi
50 script:
51    - cmake -Denable_documentation=OFF -Denable_coverage=OFF -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=OFF -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON . && make VERBOSE=1 && ctest --output-on-failure --timeout 100
52 # branches:
53 #   only:
54 #      - master
55 notifications:
56   recipients:
57     - martin.quinson@ens-rennes.fr
58   email:
59     on_success: change
60     on_failure: always
61   irc:
62     channels:
63       - "irc.debian.org#simgrid"
64   template:
65     - "%{repository}/%{branch} (%{commit} - %{author}): %{message}"
66 os:
67   - linux
68   - osx