we need doxygen, and I fail to see who's creating the VERSION file

diff --git a/.travis.yml b/.travis.yml
index e2663c6..fff375f 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -4,7 +4,8 @@ compiler:
    - clang
 before_install: 
    - sudo apt-get update  -qq
-   - sudo apt-get install -qq valgrind default-jdk gfortran liblua5.1-dev lua5.1 libboost-dev transfig ghostscript texlive-font-utils
+   - 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
 branches:
   only: