Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move MC_important_snapshot() as a method of ModelChecker
[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 addons:
17   apt: # Get recent versions of the compiler, even on Ubuntu Precise
18       sources:
19       - ubuntu-toolchain-r-test
20       packages:
21       - gcc-4.7
22       - g++-4.7
23 #      - clang
24 # Install libboost-chrono1.48-dev to get boost 1.48 on Ubuntu Precise. What we really want is libboost-dev libboost-all-dev
25 # Still need sudo for update-alternatives
26 before_install:
27    - if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then sudo add-apt-repository --yes ppa:kubuntu-ppa/backports ; fi # cmake higher than 2.8.7
28    - if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then sudo apt-get update  -qq ; fi
29    - if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then sudo apt-get install -y cmake valgrind default-jdk gfortran liblua5.1-dev lua5.1 libboost-chrono1.48-dev ; fi
30    - if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then sudo update-alternatives --install /usr/bin/gcc gcc /usr/bin/gcc-4.7 50 ; fi
31    - if [ ${TRAVIS_OS_NAME} = 'linux' ] ; then sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-4.7 50 ; fi
32 script:
33    - cmake -Denable_documentation=OFF -Denable_coverage=OFF -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=OFF -Denable_compile_warnings=ON . && make VERBOSE=1 && ctest --output-on-failure --timeout 100
34 branches:
35   only:
36      - master
37 notifications:
38   recipients:
39     - martin.quinson@loria.fr
40   email:
41     on_success: change
42     on_failure: always
43   irc:
44     channels:
45       - "irc.debian.org#simgrid"
46   template:
47     - "%{repository}/%{branch} (%{commit} - %{author}): %{message}"
48 os:
49   - linux
50   - osx