sharing config between travis and jenkins seems non-trivial

diff --git a/.travis.yml b/.travis.yml
index 1cef0b0..7c3eeec 100644 (file)
--- 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