From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 15 Oct 2014 14:58:40 +0000 (+0200)
Subject: sharing config between travis and jenkins seems non-trivial
X-Git-Tag: v3_12~732^2~285^2~15
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/775d09b753e7e587b7ed982aef4e42df32fa44a8?hp=f91296008c859d2d7b57a02bf1ccfa993a8e3af3

sharing config between travis and jenkins seems non-trivial
---

diff --git a/.travis.yml b/.travis.yml
index 1cef0b0001..7c3eeec90b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -5,9 +5,10 @@ compiler:
 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
-env: build_mode=Debug
-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