Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Add a message to explain no property violation is found
[simgrid.git] / .travis.yml
index fff375f..8572822 100644 (file)
@@ -1,12 +1,12 @@
 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
-   - echo "3.12" > VERSION
-script: ./buildtools/jenkins/run.sh
+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
 branches:
   only:
      - master
@@ -16,11 +16,11 @@ notifications:
   email:
     on_success: change
     on_failure: always
-#  irc:
-#    channels:
-#      - "chat.freenode.net#simgrid"
-#  template:
-#    - "%{repository}/%{branch} (%{commit} - %{author}): %{message}"
+  irc:
+    channels:
+      - "irc.debian.org#simgrid"
+  template:
+    - "%{repository}/%{branch} (%{commit} - %{author}): %{message}"
 os:
   - linux
   - osx