From 775d09b753e7e587b7ed982aef4e42df32fa44a8 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 15 Oct 2014 16:58:40 +0200
Subject: [PATCH] sharing config between travis and jenkins seems non-trivial

---
 .travis.yml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

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
-- 
2.20.1