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
