language: c
compiler: clang
env:
    global:
        secure: "BB9eiRNXC1PfNRLEifc0yQQZnM25zqaWNGVWN+atzT+NkxhVKyVr8+DoyPYaa8tOKybuSZhVkKnIiCd8iGMe3v+WyuHKFuhdiwdnEQhxbBlUCb9dDLEexI+J8QiYwC8AW/t6H9LWVwSka0RI3GJujJ8HKIBzW45I/j+1NlUte8U="
before_script:
    - sudo apt-get install -qq libgmp-dev libmpfr-dev doxygen graphviz
    - sudo apt-get remove doxygen
    - wget http://www.flintlib.org/flint-2.4.3.tar.gz
    - tar -xzf flint-2.4.3.tar.gz
    - cd flint-2.4.3
    - ./configure --prefix=/usr --with-gmp=/usr --with-mpfr=/usr CC=gcc CXX=g++
    - make
    - sudo make install
    - cd ..
    - wget http://ftp.stack.nl/pub/users/dimitri/doxygen-1.8.7.src.tar.gz
    - tar -xzf doxygen-1.8.7.src.tar.gz
    - cd doxygen-1.8.7
    - ./configure
    - make
    - sudo make install
    - cd ..
script:
    - make CC=clang
    - make doc
after_script:
    - ./update-gh-pages.sh