[mc] Add a message to explain no property violation is found

[simgrid.git] / .travis.yml

diff --git a/.travis.yml b/.travis.yml
index c778bc6..8572822 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -1,14 +1,12 @@
 language: cpp
 compiler:
    - gcc
 language: cpp
 compiler:
    - gcc

-   - clang
+#   - 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 -qq doxygen valgrind default-jdk gfortran liblua5.1-dev lua5.1 libboost-dev transfig ghostscript texlive-font-utils
 script:
 before_install: 
    - sudo apt-get update  -qq
    - sudo apt-get install -qq doxygen valgrind default-jdk gfortran liblua5.1-dev lua5.1 libboost-dev transfig ghostscript texlive-font-utils
 script:

-   - 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=ON -Denable_compile_warnings=ON .
-   - make
-   - ctest --output-on-failure --timeout 100
+   - 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=ON -Denable_compile_warnings=ON . && make && ctest --output-on-failure --timeout 100

 branches:
   only:
      - master
 branches:
   only:
      - master